-
-
Notifications
You must be signed in to change notification settings - Fork 91
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
mergeCommit
is missing from the PR attribute list
#5114
Comments
Hi @fruch ! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
mergeCommit
is missing from the PR attribute listhttps://docs.mergify.com/configuration/conditions/#attributes-list
in github api it called
merge_commit_sha
https://docs.github.com/en/rest/pulls/pulls?apiVersion=2022-11-28#get-a-pull-request
in via gh cli:
it would really be helpful, since that the commit on the target branch of the PR, the
commits
list available is from the origin branch that is coming from a fork, and even gonna be delete later, so it leaves pointing to dangling commit that are much less helpfuleven this isn't enough, since there not way inside the jinja template to execute more api call, to retrieve the rest of the patchset commits
here's a bash script I'm using to retrieve the list of commit of the target branch of a PR (after it was merged):
a way to get something equivalent would be really helpful
The text was updated successfully, but these errors were encountered: