> > > > > Git's claim to fame is supposed to be the cheapness of branches. What if > each PR becomes its own branch and then it either: (a) gets worked on, (b) > applied to master, or (c) deleted? >
As I have already said PRs automatically are branches in GitHub even if they are not shown in the GitHub UI (why would they, they are shown as a PR) https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/checking-out-pull-requests-locally --Brennan >
