On Mon, 19 Aug 2019 at 01:06, G. P. B. <george.bany...@gmail.com> wrote: > > Hello internal, > > It seems this topic already has been raised a year ago [1] but nothing has > been done. > So I would like to raise the issue again, there are a various of old and > empty branches currently in git, would it be possible to remove them? > > Best regards > > George P. Banyard > > [1] https://externals.io/message/102982
Hello, Consistency, cleanliness, good organizational things are a virtue. It is not an OCD thingy as some might present it. It is an essential part of good organization. Even with a list of branches that someone with access might even mistakenly pushed to origin decades ago. -- Peter Kokot -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
