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: yast-devel+unsubscribe@opensuse.org To contact the owner, e-mail: yast-devel+owner@opensuse.org