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
signature.asc
Description: OpenPGP digital signature
