From 0c42d6324acb36a07077719444e5e56caa377440 Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Tue, 10 Jan 2017 23:38:37 +0100
Subject: [PATCH] Use git config to set user.name and user.email
---
gitlab/update_feedstock.py | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/gitlab/update_feedstock.py b/gitlab/update_feedstock.py
index ad70820..ed853c5 100755
--- a/gitlab/update_feedstock.py
+++ b/gitlab/update_feedstock.py
@@ -181,13 +181,12 @@ def main(package, direct_push=False):
f.write(doc)
run_commands(['git', '--no-pager', 'diff'],
+ ['git', 'config', 'user.email', os.environ.get('GITLAB_USER_EMAIL')],
+ ['git', 'config', 'user.name', os.environ.get('GITLAB_USER_ID')],
['git', 'add', '-A'])
try:
run_commands(['git', 'commit', '-am',
- 'Update to version {}'.format(stable_version),
- '--author', '{} <{}>'.format(
- os.environ.get('GITLAB_USER_ID'),
- os.environ.get('GITLAB_USER_EMAIL'))])
+ 'Update to version {}'.format(stable_version)])
except ValueError:
print('Feedstock is already uptodate, skipping.')
return
--
GitLab