github is now origin

Signed-off-by: Nico Schottelius <nico@freiheit.schottelius.org>
10 years ago · 8b045da7a9
parent 6610a9c384
commit 8b045da7a9
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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