bobvanderlinden/Combine Pull Requests

Combine multiple labelled pull requests by merging them on top of the current branch

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stalelast commit Nov 27, 2023
License
None

Pinned Snippet

workflow.ymlSHA-pinned
uses: bobvanderlinden/combine-pull-requests@505d442a5e7ed578912a5e6276c10439425153d7 # v4

tags can be moved; commit SHAs can't. why a SHA?

namedescriptionrequireddefault
labelThe label to look for pull requestsnoexperiment
author-nameThe author name of the merge commitnonobody
author-emailThe author email of the merge commitnonobody@nobody
repo-tokenThe GitHub tokenyesexperiment

no outputs