add pull first to just push so the work is up to date before pushing
This commit is contained in:
parent
46ed9c2180
commit
123d839f5e
Loading…
Reference in a new issue