The following situation arises from time to time…
I
git checkout -b experiment
, commit some experimental changes, and open a pull request. After some discussion, the pull request is rejected.
If I were now to delete the remote branch, would this render the diff inaccessible at some point, or does GitHub ensure that commits which appear in pull requests are not garbage collected even if they don't appear on any branch?
I would like to delete dead branches, but only if doing so will not diminish the historical value of rejected pull requests.