mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-05 02:20:19 +00:00
Trying to fix remote
This commit is contained in:
parent
5de75150ab
commit
37f0e36996
6
Makefile
6
Makefile
@ -190,10 +190,8 @@ docs-publish:
|
||||
git remote -v
|
||||
echo b
|
||||
git checkout gh-pages
|
||||
echo b1
|
||||
git remote rm origin
|
||||
echo b2
|
||||
git remote add origin https://WasmerBot:${GITHUB_DOCS_TOKEN}@github.com/wasmerio/wasmer.git
|
||||
git remote add wasmerbot https://WasmerBot:${GITHUB_DOCS_TOKEN}@github.com/wasmerio/wasmer.git
|
||||
echo d
|
||||
cp -r ${RUST_DOCS_DIR}/* rustdoc/
|
||||
echo f
|
||||
@ -210,5 +208,5 @@ docs-publish:
|
||||
echo k
|
||||
git commit -m "Publishing GitHub Pages ***CI***"
|
||||
echo l
|
||||
git push origin gh-pages
|
||||
git push wasmerbot gh-pages
|
||||
echo m
|
||||
|
Loading…
Reference in New Issue
Block a user