A GitHub Bot to automatically delete your fork's branches after a pull request has been merged.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool