3 ms·
That is correct, but an important part of pull requests is that the pull request branch can be deleted afterwards.
by sharken 5y ago
That is correct, but an important part of pull requests is that the pull request branch can be deleted afterwards.
- CRConrad 5y agoHow does that work; is it something technical built into it? Or do you mean just because after that one knows that it's incorporated upstream, so not needed as a separate entity any more? Because that would also go for a "pull request" by, say, e-mail or whatever.