Skip to content

Instantly share code, notes, and snippets.

@henchc
Last active July 14, 2019 21:20
Show Gist options
  • Save henchc/80e39a148d1f2affc06a6214e630c040 to your computer and use it in GitHub Desktop.
Save henchc/80e39a148d1f2affc06a6214e630c040 to your computer and use it in GitHub Desktop.
# use var fname from editing step
subprocess.check_call(['git', 'add', fname])
if repo == 'repo2docker':
commit_message = 'repo2docker: https://github.com/jupyter/repo2docker/compare/{}...{}'.format(
commit_info['repo2docker']['live'],commit_info['repo2docker']['latest'])
elif repo == 'binderhub':
commit_message = 'binderhub: https://github.com/jupyterhub/binderhub/compare/{}...{}'.format(
commit_info['binderhub']['live'], commit_info['binderhub']['latest'])
subprocess.check_call(['git', 'config', 'user.name', 'henchbot'])
subprocess.check_call(['git', 'config', 'user.email', 'henchbot.github@gmail.com'])
subprocess.check_call(['git', 'commit', '-m', commit_message])
subprocess.check_call(['git', 'push', 'https://henchbot:{}@github.com/henchbot/mybinder.org-deploy'.format(TOKEN), repo+'_bump'])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment