Find out remote address

.github/workflows/publish-website.sh

@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+
+COMMITTER_USER_NAME="$(git log --format='%an' -1)"
+COMMITTER_EMAIL="$(git log --format='%ae' -1)"
+
+git remote -v
+
+cd ../monaco-editor-website
+git init
+git config user.name "${COMMITTER_USER_NAME}"
+git config user.email "${COMMITTER_EMAIL}"
+# git remote add origin "https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/microsoft/monaco-editor.git"
+# git checkout -b gh-pages
+# git add .
+# git commit -m "Publish website"
+# git push origin gh-pages --force

.github/workflows/website.yml

@@ -29,10 +29,9 @@ jobs:
         run: npm install
 
       - name: Build website
-        run: npm run build-website-ci
+        run: npm run build-website
 
       - name: Deploy to GitHub Pages
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: git push origin gh-pages --force
-        working-directory: ../monaco-editor-website
+        run: ./.github/workflows/publish-website.sh