add make push

Raku · Jul 19, 2016 · e73b15e · e73b15e
1 parent b0666ad
commit e73b15e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -44,3 +44,6 @@ clean: clean-html clean-images clean-search
 
 test-links: html/links.txt
 	./util/test-links.sh
+
+push: test
+	git pull --rebase && git push