Skip to content
Snippets Groups Projects
Commit 42c24367 authored by Katsu Kawakami's avatar Katsu Kawakami
Browse files

Really fix the documentation deploys...

parent 7e0fef55
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
deploy-docs.sh
+ 3
− 3
View file @ 42c24367
......@@ -11,11 +11,11 @@ git config user.name "Katsu Kawakami"
git config user.email "kkawa1570@gmail.com"
git remote add upstream "https://$GH_TOKEN@github.com/kkawakam/rustyline.git"
git fetch upstream
git push origin --delete gh_pages > /dev/null 2>&1
git fetch upstream
git push upstream --delete gh-pages > /dev/null 2>&1
touch .
git add -A .
git commit -m "rebuild pages at ${rev}"
git push -f -q upstream gh-pages > /dev/null 2>&1
git push -q upstream HEAD:gh-pages > /dev/null 2>&1
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment