ignore already-merged PRs #14
Description
if a PR is already merged inside the the other repository this action should return as if it doesn't exist (otherwise it will report a potentially-outdated merge revision)
{{ message }}
if a PR is already merged inside the the other repository this action should return as if it doesn't exist (otherwise it will report a potentially-outdated merge revision)