From 0d15a7cb155df52bfde44b13407d565738d20898 Mon Sep 17 00:00:00 2001 From: hut Date: Fri, 12 Mar 2010 02:33:05 +0100 Subject: make push: removed "hut" repo --- Makefile | 1 - 1 file changed, 1 deletion(-) 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 -- cgit 1.4.1-2-gfad0