use publish repo
This commit is contained in:
parent
01a9218935
commit
6358bf78ea
1 changed files with 2 additions and 4 deletions
|
|
@ -10,13 +10,11 @@ build:
|
||||||
- script:
|
- script:
|
||||||
name: build and deploy
|
name: build and deploy
|
||||||
code: |
|
code: |
|
||||||
git config remote.origin.url $GIT_CREDENTIALS
|
git remote add publish $GIT_CREDENTIALS
|
||||||
git config --global user.email $GIT_EMAIL
|
git config --global user.email $GIT_EMAIL
|
||||||
git config --global user.name $GIT_NAME
|
git config --global user.name $GIT_NAME
|
||||||
git checkout gh-pages
|
|
||||||
git reset --hard master
|
|
||||||
nanoc
|
nanoc
|
||||||
cp -r ./output/. ./
|
cp -r ./output/. ./
|
||||||
git add --all .
|
git add --all .
|
||||||
git commit -am'Build Site'
|
git commit -am'Build Site'
|
||||||
git push --force
|
git push --force publish
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue