From f692655ec577dffda84ae990431c560eb68228ff Mon Sep 17 00:00:00 2001 From: Misko Hevery Date: Thu, 24 Aug 2017 08:03:05 -0700 Subject: [PATCH] docs: correct DEVELOPER.md inconsistencies (#18865) --- docs/DEVELOPER.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/DEVELOPER.md b/docs/DEVELOPER.md index 5d4e9a7334..86f75cf63b 100644 --- a/docs/DEVELOPER.md +++ b/docs/DEVELOPER.md @@ -177,7 +177,7 @@ First time, you need to create the github repositories: ``` shell $ export TOKEN=[get one from https://github.com/settings/tokens] -$ CREATE_REPOS=1 ./scripts/publish/publish-build-artifacts.sh [github username] +$ CREATE_REPOS=1 TRAVIS= ./scripts/ci/publish-build-artifacts.sh [github username] ``` For subsequent snapshots, just run