Add some more descriptive output to deploy.py

This commit is contained in:
KoffeinFlummi 2015-05-08 20:40:40 +02:00
parent 2ffabec250
commit 53360ff0a7

View File

@ -62,7 +62,10 @@ def deploy_documentation(token):
filenum = len(str(filenum, "utf-8").split("\n")) - 1
if filenum > 0:
sp.check_call(["git", "commit", "-m", "Automatic gh-pages deployment"])
print("Pushing changes ...")
sp.check_call(["git", "push", "origin", "gh-pages"], stdout=devnull, stderr=devnull)
else:
print("No changes.")
os.chdir("..")