Skip to content
Snippets Groups Projects
Commit 0c42d632 authored by Amir MOHAMMADI's avatar Amir MOHAMMADI
Browse files

Use git config to set user.name and user.email

parent 27a2bec7
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment