From 98ad68f6c0a75ef57280261e1270d8177dfb3299 Mon Sep 17 00:00:00 2001 From: Sasha <118575614+weboko@users.noreply.github.com> Date: Tue, 2 Apr 2024 12:44:15 +0200 Subject: [PATCH] fix: change repo name in ci script (#47) --- ci/Jenkinsfile | 2 +- ci/deploy.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 594e1ef..68b49b4 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { } environment { - SITE_DOMAIN = 'examples.waku.org' + SITE_DOMAIN = 'lab.waku.org' GIT_AUTHOR_NAME = 'status-im-auto' GIT_AUTHOR_EMAIL = 'auto@status.im' PUPPETEER_SKIP_DOWNLOAD = 'true' diff --git a/ci/deploy.js b/ci/deploy.js index 9403abe..1ed8b75 100755 --- a/ci/deploy.js +++ b/ci/deploy.js @@ -12,7 +12,7 @@ const USE_HTTPS = Args[0] && Args[0].toUpperCase() === "HTTPS"; const branch = "gh-pages"; const org = "waku-org"; -const repo = "waku-lab"; +const repo = "lab.waku.org"; /* use SSH auth by default */ let repoUrl = USE_HTTPS ? `https://github.com/${org}/${repo}.git`