GitHub repository: peter-evans/close-pull
Description: A GitHub action to close a pull request and optionally delete its branch.