fix: change repo name in ci script (#47)

waku-org · Apr 2, 2024 · 98ad68f · 98ad68f
1 parent 8136b27
commit 98ad68f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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 = '[email protected]'
     PUPPETEER_SKIP_DOWNLOAD = 'true'

diff --git 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`