Merge 743a21f into 365d6ef

Author: qcdyx

.github/workflows/credits.md

@@ -0,0 +1,36 @@
+name: Update Credits upon opening PR
+
+on:
+  pull_request:
+    types:
+      - opened
+      - synchronize
+
+jobs:
+  update-credits:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v2
+
+      - name: Update Credits
+        run: |
+          contributor_name=$(jq -r '.pull_request.user.login' $GITHUB_EVENT_PATH)
+          pr_description=$(jq -r '.pull_request.body' $GITHUB_EVENT_PATH)
+          
+          echo "### Timestamp:" >> credits.md
+          echo "$(date -u +"%Y-%m-%dT%H:%M:%SZ")" >> credits.md
+          echo "### Contributor:" >> credits.md
+          echo "${{ github.event.pull_request.user.login }}" >> credits.md
+          echo "#### PR Title:" >> credits.md
+          echo "${{ github.event.pull_request.title }}" >> credits.md
+          echo "############################################" >> credits.md
+          
+          git add credits.md
+          git config --local user.email "[email protected]"
+          git config --local user.name "GitHub Action"
+          git commit -m "Update credits.md with contributor information" || exit 0
+          git push
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}