A GitHub action to automatically delete the branch after a pull request has been merged.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool