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

Reply via email to