Pull before push.

YesterdayDX · Jan 21, 2016 · 4092801 · 4092801
1 parent 8d5ce2f
commit 4092801
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -38,6 +38,7 @@ s3 : $(THESIS).pdf
 	s3cmd put $< s3://sjtuthesis/README.pdf
 
 git :
+	for b in "0.7.x" "0.8.x" "develop" "develop-0.7" "develop-0.8"; do git co $${b}; git pull gitlab $${b}; done
 	for b in "0.7.x" "0.8.x" "develop" "develop-0.7" "develop-0.8"; do git co $${b}; git push --tags -f -u gitlab $${b}; git push --tags -f -u github $${b}; git push -f -u gitcafe $${b}; done
 	git co master; git push gitlab master; git push github master; git push gitcafe master