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?
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
--
Ladislav Slezák
YaST Developer
SUSE LINUX, s.r.o.
Corso IIa
Křižíkova 148/34
18600 Praha 8
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]
