waku-org
/
lab.waku.org
mirror of https://github.com/waku-org/lab.waku.org.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

This commit is contained in:
Sasha 2024-04-02 12:44:15 +02:00 committed by GitHub
parent 8136b2763a
commit 98ad68f6c0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/Jenkinsfile vendored
View File

@ -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'

2
ci/deploy.js
View File

@ -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`