about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 92444a30..c93cb647 100644
--- a/Makefile
+++ b/Makefile
@@ -76,7 +76,6 @@ push:
 	@for repo in $(shell git remote); do \
 		echo "Pushing to $$repo..."; \
 		git push $$repo master; \
-		git push $$repo -f hut; \
 	done
 
 commit: test