hiro/jobmanager
1
0
Fork 0
mirror of https://github.com/vale981/jobmanager synced 2025-03-04 09:21:39 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc update

Browse source
This commit is contained in:
Paul Müller 2015-09-07 09:30:26 +02:00
parent c9532622a8
commit 26753f9d92
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/deploy_ghpages.py
View file

@ -72,6 +72,12 @@ os.chdir("gh_pages")
sp.check_output("echo 'https://${GH_TOKEN}:@github.com' > .git/credentials", shell=True)
sp.check_output("git add --all ./*", shell=True)
sp.check_output("git commit -a -m 'travis bot build {} [ci skip]'".format(os.getenv("TRAVIS_COMMIT")), shell=True)
sp.check_output("git push --force --quiet origin gh-pages", shell=True)
try:
# If there is nothing to commit, then 'git commit' returns non-zero exit status
errorcode = sp.check_output("git commit -a -m 'travis bot build {} [ci skip]'".format(os.getenv("TRAVIS_COMMIT")), shell=True)
print("git commit returned:", errorcode)
except:
pass
else:
sp.check_output("git push --force --quiet origin gh-pages", shell=True)