Hi,
if we merge a feature branch into, say, our develop branch, then push develop, the open pull request for the feature branch is marked as merged - which is great. However the activity which is created on the PR doesn't contain the merge commit id on develop, where as if we click Merge on the PR, we go get this information. Is there anything we are missing? I'm guessing we could create a PullRequestMergedEvent type handler to add this information ourselves.
Many thanks