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

automated doc upload

Browse source
This commit is contained in:
Paul Müller 2015-09-07 08:45:51 +02:00
parent da594a0ee9
commit c9532622a8
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/deploy_ghpages.py
View file

@ -72,10 +72,6 @@ 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)
try:
sp.check_output("git commit -a -m 'travis bot build {} [ci skip]'".format(os.getenv("TRAVIS_COMMIT")), shell=True)
except:
pass #nothing to do
else:
sp.check_output("git push --force --quiet origin gh-pages", 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)