Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This reverts commit d1369fc. The reasoning is provided by @justinmk in #122 (comment): It's good to save CI time, but for low-activity repos I think we should err on the side of explicitness. Reasons in favor of CI on push: - to have a baseline, so one can see the history of status checks by looking at master (including squash-merged PRs) - for any (rare) commits that skip the PR process Without this, we don't have a clear concept of "current status", except whatever the last PR was (which also assumes a linear history).
- Loading branch information