summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorhut <hut@lavabit.com>2010-03-12 02:33:05 +0100
committerhut <hut@lavabit.com>2010-03-12 02:33:09 +0100
commit0d15a7cb155df52bfde44b13407d565738d20898 (patch)
tree098f6b695965bdb8ae7d22159e986a6860360c2c
parentf793be4b7caaa06a6362ae2ada3e1a0a00292400 (diff)
downloadranger-0d15a7cb155df52bfde44b13407d565738d20898.tar.gz
make push: removed "hut" repo
-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