Hi Guix, Following "22.11.2 Managing Patches and Branches" [1], "Once the branch has been merged, the issue should be closed and the branch deleted."
I observe quite a few branches still around [2], which wouldn’t be a problem, except one never knows if these are currently gathering pr or not. Do we still agree that non active branches should be removed once merged ? All the best, C. [1] https://guix.gnu.org/manual/devel/en/html_node/Managing-Patches-and-Branches.html [2] https://qa.guix.gnu.org/
signature.asc
Description: PGP signature
