Ensure git pull before push.

This commit is contained in:
2021-06-19 22:55:36 +00:00
parent 22bbb7c50b
commit 247eaf64b7

View File

@ -18,7 +18,7 @@ push_github:
url: github.com/jmhbnz/tooling
script:
# Output git status
- git checkout master && git status
- git checkout master && git pull && git status
# Add a new remote for github
- git remote add github git@github.com:jmhbnz/tooling.git || true