File 6691-gh-Use-less-diskspace-when-syncing-PRs.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 6691-gh-Use-less-diskspace-when-syncing-PRs.patch of Package erlang

From 95ac05ede3e0953ad1ca74f861121f2b43e455d7 Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Mon, 11 Sep 2023 09:58:13 +0200
Subject: [PATCH 3/3] gh: Use less diskspace when syncing PRs

---
 .github/workflows/pr-comment.yaml | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml
index a72c98e09a..80a4622ae7 100644
--- a/.github/workflows/pr-comment.yaml
+++ b/.github/workflows/pr-comment.yaml
@@ -107,15 +107,20 @@ jobs:
              "${{ needs.pr-number.outputs.result }}"
 
       - name: Deploy to github pages 🚀
-        uses: JamesIves/github-pages-deploy-action@v4.4.1
-        with:
-          token: ${{ secrets.ERLANG_TOKEN }}
-          branch: master # The branch the action should deploy to.
-          folder: erlang.github.io # The folder the action should deploy.
-          repository-name: erlang/erlang.github.io
-          single-commit: true
+        run: |
+          cd erlang.github.io
+          set -x
+          git config user.name github-actions
+          git config user.email github-actions@github.com
+          git add .
+          git add -u
+          git update-index --refresh
+          if ! git diff-index --quiet HEAD --; then
+            git commit -m "Update github pages content"
+            git push origin master
+          fi
 
-        ## Append some usefull links and tips to the test results posted by
+        ## Append some useful links and tips to the test results posted by
         ## Publish CT Test Results
       - uses: actions/github-script@v5.1.1
         if: always()
-- 
2.35.3

Places

File 6691-gh-Use-less-diskspace-when-syncing-PRs.patch of Package erlang

Places