Hacker News new | ask | show | jobs
by leoqa 567 days ago
In my experience the merge commit is simply a reference to the PR, which has all the context. The title of the PR is effectively the commit summary.