fixing push

ottobehrens · Jul 30, 2010 · 5c680fd · 5c680fd
1 parent f32eb44
commit 5c680fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/push b/push
@@ -14,4 +14,4 @@ read USERNAME
 git config user.email $EMAIL
 git config user.name "$USERNAME"
 echo "Pushing as $USERNAME at $EMAIL"
-git push github-push
+git push