Skip to content

Commit f7cbb4c

Browse files
committed
CI: deploy website to different repo
Currently, GitHub Pages sources https://quick-lint-js.com/ from the gh-pages branch of the https://github.com/quick-lint/quick-lint-js repo. The gh-pages branch slows down 'git clone' for new contributors. Switch deployment to the master branch of the new https://github.com/quick-lint/quick-lint-js.com repo. I already configured GitHub Pages to source https://quick-lint-js.com/ from this new repo.
1 parent f6e011f commit f7cbb4c

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

.github/workflows/deploy-website.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,10 +30,11 @@ jobs:
3030
uses: peaceiris/actions-gh-pages@v3
3131
with:
3232
cname: quick-lint-js.com
33+
external_repository: quick-lint/quick-lint-js.com
3334
full_commit_message: "Website: deploy build ${{ github.event.inputs.build_commit_id }} source ${{ github.sha }}"
34-
github_token: ${{ secrets.GITHUB_TOKEN }}
3535
keep_files: false
36-
publish_branch: gh-pages
36+
personal_token: ${{ secrets.QUICK_LINT_JS_COM_PERSONAL_ACCESS_TOKEN }}
37+
publish_branch: master
3738
publish_dir: ./website/www
3839

3940
# quick-lint-js finds bugs in JavaScript programs.

0 commit comments

Comments
 (0)