From b805e50f3fb8b6c816a50cd989750e4d0d526f06 Mon Sep 17 00:00:00 2001
From: Dominik Moritz <domoritz@gmail.com>
Date: Wed, 24 Apr 2013 20:37:40 +0300
Subject: [PATCH] user.name -> github.user

github.user is the correct config option for the github user name
---
 gitlink | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlink b/gitlink
index b334f21..26e4c2b 100755
--- a/gitlink
+++ b/gitlink
@@ -13,7 +13,7 @@ ISSUE=`echo $BRANCH | cut -f1 -d-`
 #FIXME check $ISSUE is a number
 
 # get our username and remote origin
-USER=`git config -l | grep "user\.name" | cut -f2 -d=`
+USER=`git config -l | grep "github\.user" | cut -f2 -d=`
 REMOTE_URL=`git config -l | grep "remote\.origin\.url" | cut -f2 -d=`
 
 REMOTE_DOMAIN=`echo $REMOTE_URL | cut -f1 -d:`