This avoids testing twice when pushing to the main repository, once for the push, and another for a PR.