Run git push
whilst publishing changes
This commit is contained in:
parent
6c7f1d87b5
commit
d92d03debc