Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
only process commits on the current branch
This is to cater for the situation where people do a number of PRs (maybe from forks) to a PR before it is merged. In that situation it's not exactly clear what the PR number means so ignoring those commits is simpler for everyone
- Loading branch information