On Tue, Dec 13, 2022 at 11:31 AM Michael Voříšek - ČVUT FJFI < voris...@fjfi.cvut.cz> wrote:
> Hello everyone, > > I am the author of https://github.com/php/php-src/issues/10007 proposal > and I would ask you for the green light to do so. > > 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? -Sara