Commits
Gil authored and GitHub committed bad992edb3c
Fix check.sh when running a push build with a single commit (#2977) Travis can send us a revision range that points to commits outside the repo (see comments for details). Adjust the revision range to always use target origin/master.