From 37f0e36996212edad7530f6e31b98491f6a45eb3 Mon Sep 17 00:00:00 2001 From: Azure Pipelines Date: Mon, 16 Sep 2019 16:32:37 -0700 Subject: [PATCH] Trying to fix remote --- Makefile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 77ed19a33..dc14030f1 100644 --- a/Makefile +++ b/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