diff --git a/Makefile b/Makefile
index 908bd6c..dc98502 100644
--- a/Makefile
+++ b/Makefile
@@ -175,7 +175,6 @@ t2:
 #
 pub:
 	git push
-	git push github
 
 publish-doc: documentation
 	@echo "Transferring files to ${host}"