[sysadmin-bin] Call the fetch-username function and populate log-push accordingly

[Andrea Veri <av src gnome org>]

commit 7e43f84ac2cd1ae8ddf34bbbd45101c777b7bae3
Author: Andrea Veri <averi redhat com>
Date:   Fri Nov 10 15:35:26 2017 +0100

    Call the fetch-username function and populate log-push accordingly

 git/log-push |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/git/log-push b/git/log-push
index 5a539bb..c6c6412 100755
--- a/git/log-push
+++ b/git/log-push
@@ -14,7 +14,11 @@ fi
 
 LOG_FILE="$GIT_DIR/gnome_pushlog"
 
-user=$(whoami)
+if [ $(hostname) == 'gitlab.gnome.org' ]; then
+    user=`sudo /home/admin/bin/gitlab/fetch-username.py`
+else
+    user=$(whoami)
+fi
 # RFC 822 date with a fixed UTC timezone (Thu, 05 Feb 2009 19:25:44 +0000)
 date=$(TZ=UTC date -R)