On 27/8/19 12:50, Ladislav Slezak wrote:
Hi all,
I just noticed that GitHub has a new option (well, new for me, I do not know how long actually it is there...) in the repository settings in the "Merge Button" section with description "After pull requests are merged, you can have head branches deleted automatically."
For testing I have enabled that in https://github.com/yast/yast-hardware-detection and merged the https://github.com/yast/yast-hardware-detection/pull/22 PR.
After pressing the "Merge" button the PR was merged and the branch was automatically deleted. Nice!
Enabling this feature would avoid leaving obsolete branches at GitHub. They accumulated in some repositories to a quite big amount so I'd like to enable this globally for all YaST repositories to avoid this situation.
Anybody against this?
I agree. One click less and no more obsolete branches out there :) Thank you!
BTW there is still displayed that "Restore branch" button after deleting the branch automatically, you can manually restore the branch if needed. But IIRC I have never needed that so far...
Ladislav
-- David Díaz González YaST Team at SUSE Linux GmbH