Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
With the old configuration, we would run CI twice when pushing a commit and opening a pull request. Or when pushing a commit that belongs to a pull request. With the new configuration, we run CI once when opening a PR, and once when pushing a commit that belongs to a pull request. And once when merging to master (the `push` event). Importantly, this configuration still works for contributions from forked repositories, since the `pull_request` events are triggered on _our_ fork. Also adding the .git-blame-ignore-revs file matching the recent "style change commits".
- Loading branch information