[fphilipe]

The merge commit also includes the link to the PR when merged via the GitHub UI (or locally via `hub merge $PR_URL`).