Skip to content
Snippets Groups Projects
Commit bd07539c authored by Omar Valsson's avatar Omar Valsson Committed by Giovanni
Browse files

Minor change to pushdoc script

parent 7f2c135d
No related branches found
No related tags found
No related merge requests found
...@@ -105,6 +105,6 @@ set -x ...@@ -105,6 +105,6 @@ set -x
esac esac
git add --all . git add --all .
git commit -m "Update to plumed/plumed2@$hash" git commit -m "Update to ${GIT_OWNER}/${GIT_REPO}@$hash"
# -q and 2> 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 2> /dev/null 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