diff --git a/Makefile b/Makefile
index f2867d7..f44a849 100644
--- a/Makefile
+++ b/Makefile
@@ -174,7 +174,8 @@ t2:
 # Developer targets
 #
 pub:
-	@git push
+	git push
+	git push github
 
 publish-doc: documentation
 	@echo "Transferring files to ${host}"