Rename push.yml to clarify that it's run from Jenkins.