Emit a warning if new commits are pushed to GitHub