Display merge commit in PR like GitHub does

dolthub / dolthub-issues

Issues for dolthub.com

https://dolthub.com

4 stars 1 forks source link

Display merge commit in PR like GitHub does #531

Closed coffeegoddd closed 6 months ago

coffeegoddd commented 6 months ago

There should be a link to the merge commit in the PR logs, after a merge completes. This is how GitHub does it. Otherwise it's difficult to find the merge commit.

GitHub:

DoltHub: