build: circleci git config being updated too early (#13950)

* Due to the fact that we try to run `git config --global` before
CircleCI set up the global Git configuration, the publish task is still
broken. This _should_ fix it.
This commit is contained in:
Paul Gschwendtner
2018-11-02 23:29:57 +01:00
committed by Jeremy Elbourn
parent 2a9e132e4f
commit 85e4a1df01
+5 -5
View File
@@ -215,16 +215,16 @@ jobs:
name: Check whether this job should be skipped.
command: '[[ -n ${CIRCLE_PR_NUMBER} ]] && circleci step halt || true'
# CircleCI has a config setting to enforce SSH for all github connections.
# This is not compatible with our mechanism of using a Personal Access Token
# to publish the build snapshots. In order to fix this, we unset the global option.
- run: git config --global --unset "url.ssh://git@github.com.insteadof"
- *checkout_code
- *restore_cache
- *yarn_install
- *attach_release_output
# CircleCI has a config setting to enforce SSH for all github connections.
# This is not compatible with our mechanism of using a Personal Access Token
# to publish the build snapshots. In order to fix this, we unset the global option.
- run: git config --global --unset "url.ssh://git@github.com.insteadof"
- run: ./scripts/circleci/publish-snapshots.sh
- *save_cache