Ping the dead pull reuqests 👻 to be alive again 👼
-
Updated
Dec 15, 2023 - Shell
Ping the dead pull reuqests 👻 to be alive again 👼
Synchronise GitHub labels for issues and pull requests across multiple repositories.
Learning git with fireship.io formally AngularFirebase
Command line utility to check the status of open pull requests of an organization.
Build repository for brambox - https://gitlab.com/eavise/brambox
Identifying rare event.
Check that the commit that triggered the workflow run exists as an open PR.
A tool to manage big and long list of PR list and its dead line and last condition
Merges pull requests for the SecureSECO DAO
Add a description, image, and links to the pr topic page so that developers can more easily learn about it.
To associate your repository with the pr topic, visit your repo's landing page and select "manage topics."