A GitHub action to automatically delete the branch after a pull request has been merged.
Primary LanguageShell