Hello, Am Tue, Feb 17, 2026 at 08:38:56AM +0100 schrieb Cayetano Santos: > Following "22.11.2 Managing Patches and Branches" [1], "Once the > branch has been merged, the issue should be closed and the branch > deleted."
with the move to Codeberg, this has started to pose problems: People tend to submit pull requests to branches (instead to just master, and let them be tagged with the team automatically). Then when this branch is deleted, all such pull requests are closed. So I have ended up not deleting team branches after the merge to master, since I assume that usually these branches will be revived in short time by the team. A different problem are many other branches that are probably obsolete; I have made an effort last year to ask around whether they can be deleted, but with little effect. And some of them could still be of interest, so I did not dare throw them away. Andreazs
