mirror of
https://github.com/neovim/neovim.git
synced 2026-01-27 15:42:01 +10:00
The default merge branch is unreliable when trying to determine number of commits in a PR. Using the HEAD branch of the PR removes this ambiguity.