fjenik/check-if-pr-exists

Check if pr from source to target already exists

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stalelast commit May 5, 2021
License
MIT
Runtime
Deprecated runtime

Pinned Snippet

workflow.ymlSHA-pinned
uses: fjenik/check-if-pr-exists@d389ff564ed5ca8fd1dcd6e9838c810f65945743 # 0.0.3

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

namedescriptionrequireddefault
repo-tokenThe GITHUB_TOKEN secretyes
source-branchSource branchyes
target-branchTarget branchyes
namedescription
is-pr-already-createdIs pull request from source to target already created