From 04152e08f4c1f46e8f4b98fc8d54623f52af9c40 Mon Sep 17 00:00:00 2001 From: Jingsi Lu Date: Mon, 20 Nov 2023 12:16:37 -0500 Subject: [PATCH] put the number of PR into credits.md --- .github/credits.md | 14 -------------- .github/workflows/update_credits.yml | 2 ++ 2 files changed, 2 insertions(+), 14 deletions(-) diff --git a/.github/credits.md b/.github/credits.md index 0361cd4a1a..e69de29bb2 100644 --- 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 index b60f9f5408..0ec31044a9 100644 --- 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