mrwoof/git-cleanup
script to delete local and remote branches for closed issues or merged pull requests
Public GitHub Catalog
Discovered Sep 25, 2026
mrwoof / git-open-pull
convert a github issue into a pull request
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3538468GitHub System ID
mrwoofOrganization / User
PublicVisibility
ActiveCatalog Status