3 ms·
The merge commit also includes the link to the PR when merged via the GitHub UI (or locally via `hub merge $PR_URL`).
by fphilipe 5y ago
The merge commit also includes the link to the PR when merged via the GitHub UI (or locally via `hub merge $PR_URL`).