Use GITHUB_TOKEN or deploy key

adangel · adangel · commit d65137e8ac6b · 2021-10-15T17:58:15.000+02:00
Also use pmd-bot@users.noreply.github.com as committer email.
diff --git a/.ci/build.sh b/.ci/build.sh
@@ -208,8 +208,8 @@ function prepare_local_p2_site() {
         cd current-p2-site
         git init -q --initial-branch=gh-pages
         git config user.name "PMD CI (pmd-bot)"
-        git config user.email "andreas.dangel+pmd-bot@adangel.org"
-        git remote add origin git@github.com:pmd/pmd-eclipse-plugin-p2-site.git
+        git config user.email "pmd-bot@users.noreply.github.com"
+        git remote add origin git@github.com-pmd-eclipse-plugin-p2-site:pmd/pmd-eclipse-plugin-p2-site.git
         git pull --rebase origin gh-pages
     )
 }
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -50,3 +50,4 @@ jobs:
       shell: bash
       env:
         PMD_CI_SECRET_PASSPHRASE: ${{ secrets.PMD_CI_SECRET_PASSPHRASE }}
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Original file line number	Diff line number	Diff line change
`@@ -208,8 +208,8 @@ function prepare_local_p2_site() {`
`208`	`208`	`cd current-p2-site`
`209`	`209`	`git init -q --initial-branch=gh-pages`
`210`	`210`	`git config user.name "PMD CI (pmd-bot)"`
`211`		`- git config user.email "andreas.dangel+pmd-bot@adangel.org"`
`212`		`- git remote add origin [email protected]:pmd/pmd-eclipse-plugin-p2-site.git`
	`211`	`+ git config user.email "pmd-bot@users.noreply.github.com"`
	`212`	`+ git remote add origin [email protected]-pmd-eclipse-plugin-p2-site:pmd/pmd-eclipse-plugin-p2-site.git`
`213`	`213`	`git pull --rebase origin gh-pages`
`214`	`214`	`)`
`215`	`215`	`}`