peter-evans / close-pull

A GitHub action to close a pull request and optionally delete its branch.
21Updated 2 months ago

Related projects

Alternatives and complementary repositories for close-pull