From 45af73aa0b4b6e6321ddfe6f094f10d2e332f82f Mon Sep 17 00:00:00 2001 From: Talita Behrens Date: Fri, 9 Oct 2009 17:12:15 +0200 Subject: [PATCH] Small fix on identifying the user --- push | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/push b/push index 99f5f2b..374b504 100755 --- a/push +++ b/push @@ -5,12 +5,13 @@ cd `dirname $0` BRANCH=`git branch | grep ^* |sed s/\*\ //` echo "\n\n\nDifferences on branch $BRANCH:" git diff --name-status origin/$BRANCH -git config --unset-all user.email user.name +git config --unset-all user.email +git config --unset-all user.name echo "So that we know who (really) pushed this, please type your email address now. Ctrl-C to cancel." read EMAIL echo "And your name. Ctrl-C to cancel." read USERNAME git config user.email $EMAIL -git config user.name $USERNAME +git config user.name "$USERNAME" echo "Pushing as $USERNAME at $EMAIL" git push github-push