From 8b045da7a9d2303615a8ce7ff10aa79566b3b94c Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@freiheit.schottelius.org>
Date: Thu, 25 Dec 2014 00:04:21 +0100
Subject: [PATCH] github is now origin
Signed-off-by: Nico Schottelius <nico@freiheit.schottelius.org>
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 5c366783..03084a4b 100644
--- a/Makefile
+++ b/Makefile
@@ -243,7 +243,7 @@ distclean: clean
# The pub is Nico's "push to all git remotes" way ("make pub")
pub:
- for remote in "" github sf; do \
+ for remote in "" sf; do \
echo "Pushing to $$remote"; \
git push --mirror $$remote; \
done