>mar. 17 févr. 2026 at 11:11, Andreas Enge <[email protected]> wrote:
> 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. Which is not necessarily a bad thing, when one thinks about: if a given pr towards a team branch is not considered to be included in next branch round, what’s the point on keeping it open (what are the chances for the pr to be accepted in nth round ) ? Whether it is obsolete, whether it doesn’t apply, no matter the reason. C.
signature.asc
Description: PGP signature
