GitHub Community
Merging a PR via CLI merge + push marks the PR as "merged", but the commits from the PR incorporated into the target branch don't show the "pull request merge" chip in /activity #64616
Unanswered
stoyicker
asked this question in
Pull Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Select Topic Area
Bug
Body
To be precise, the merge was fast-forward. I can see how an argument can be made to consider this as correct behavior otherwise, but for ff merges where the PR is marked as merged I see no reason for the /activity log to not to consider that the commits come from a PR merge.
Beta Was this translation helpful? Give feedback.
All reactions