A GitHub action to automatically delete the branch after a pull request has been merged. - View it on GitHub