Closed Jasper-Bekkers closed 2 years ago
@MarijnS95 I restored the branch because this was causing internal build failures; which is why this repo is set not to delete branches when merging in the first place :-)
IMHO we should reference the main
branch more eagerly after merging, or push a tag for as long as this rev needs to stick around, instead of leaving unused branches cluttering up which we don't have as a workflow anywhere else (and this kind of thing happened before, rev references to branches aren't reliable enough).
(Besides, it's quite tricky to get this right in the GitHub app which still jitters the "Load more items" and "Delete merged branch" button around a lot)
Now that the internal revision is updated, can the branch be re-removed? :pleading_face:
This actually does two things;