search

SvanBoxel / delete-merged-branch

No more manually deleting merged branches, this lovely app does it for you.
https://github.com/apps/delete-merged-branch/
ISC License
323 stars 55 forks source link

GItHub: Automatically delete head branches of pull requests #92

Closed zoispag closed 5 years ago

zoispag commented 5 years ago

Looks like the simplest use case is now covered by github. I thought to let you know! In any case thanks for this great bot. A pleasure to use so far!

Blog post

Automatically delete head branches of pull requests Repositories can now be set to delete the head branch of a pull request once it has merged into the base branch.

Learn more about automatic deletion of branches on GitHub

SvanBoxel commented 5 years ago

Yes, great!

SvanBoxel commented 5 years ago

I've added a note to the readme.