Re: Remove PHP-x.y.* git branches
| From: | Tim Düsterhus | Date: | Tue, 13 Dec 2022 18:03:40 +0000 |
| Subject: | Re: Remove PHP-x.y.* git branches | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-119138@lists.php.net to get a copy of this message | ||
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