Commits


Gil authored and GitHub committed 5fcde3c6694
Flip the default to diffing against master (#4631) In implementing the fallback for old PRs in #4614 I changed the default for interactive use of check.sh. This fixes it so that if you just run check.sh with no arguments it evaluates only the diff against master.