peter-evans/close-pull (actions): A GitHub action to close a pull request and optionally delete its branch
Keywords: automation|close-pull|close-pull-request|github-action|workflow