Skip to content
Snippets Groups Projects
Commit e07d01c2 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

properly hide GIT_TOKEN

parent 978e8602
No related branches found
No related tags found
No related merge requests found
...@@ -54,5 +54,5 @@ To browse the manual you should go ...@@ -54,5 +54,5 @@ To browse the manual you should go
EOF EOF
git add --all . git add --all .
git commit -m "Update to plumed/plumed2@$hash" git commit -m "Update to plumed/plumed2@$hash"
# -q is not to show the GIT_TOKEN on Travis log # -q and 2> is not to show the GIT_TOKEN on Travis log
git push -q -f doc gh-pages git push -q -f doc gh-pages 2> /dev/null
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment