github actions "close-pull" keyword
peter-evans/close-pull v3.0.1 💰
A GitHub action to close a pull request and optionally delete its branch12 versions - Latest release: almost 3 years ago - 145 dependent repositories - 22 stars on GitHub
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.