Hi
On 12/13/22 18:55, Sara Golemon wrote:
Why do you want to remove these branches?
I agree that they have minimal value especially since the tags are the
actual release commit (and for release process versions often represent a
spur off the release branch), but the cost in the repo is negligible. What
is gained from removing information from the repository?
One benefit of removing those branches would be, that usability of
GitHub's branch selector improves, specifically the branch selector when
creating a new PR.
Currently one needs to know the exact naming scheme and then use the
"Find a branch" input to efficiently find a specific target branch. With
the extra branches removed, one can open the dropdown and simply click
the correct branch without needing to think.
Best regards
Tim Düsterhus
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php