put the number of PR into credits.md

MobilityData · Nov 20, 2023 · 04152e0 · 04152e0
1 parent 8f85ada
commit 04152e0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 14 deletions.
diff --git a/.github/credits.md b/.github/credits.md
@@ -1,14 +0,0 @@
-### Timestamp:
-2023-11-19T19:31:45Z
-### Contributor:
-qcdyx
-#### PR Title:
-feat: Sidecar jlu
-############################################
-### Timestamp:
-2023-11-20T17:06:33Z
-### Contributor:
-qcdyx
-#### PR Title:
-feat: Recognize/Credit Contributors
-########################################################################################x

diff --git a/.github/workflows/update_credits.yml b/.github/workflows/update_credits.yml
@@ -20,6 +20,8 @@ jobs:
           echo "$(date -u +"%Y-%m-%dT%H:%M:%SZ")" >> .github/credits.md
           echo "### Contributor:" >> .github/credits.md
           echo "${{ github.event.pull_request.user.login }}" >> .github/credits.md
+          echo "#### PR Number:" >> .github/credits.md
+          echo "${{ github.event.pull_request.number }}" >> .github/credits.md
           echo "#### PR Title:" >> .github/credits.md
           echo "${{ github.event.pull_request.title }}" >> .github/credits.md
           echo "########################################################################################x" >> .github/credits.md