Hi all, as we agreed some time ago, I have enabled the automatic branch removal after merging pull requests at GitHub. This should avoid leaving obsolete branches there. Now after merging a PR it's branch is automatically removed. If you still need it you can restore it by pressing the "Restore branch" button in the PR page. Notes: - It does not work if the PR is created from a fork, in that case the PR author has to remove the branch manually. - I have enabled that for all https://github.com/yast and https://github.com/libyui repositories. If you want to enable it elsewhere go to "Settings" tab at GitHub, the "Merge button" section contains the "Automatically delete head branches" checkbox. Enable it. - The GitHub REST API does not allow to change that setting from a script, I did it semi-automatically, if it does not work in some repository just ping me. Enjoy! :-) -- 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