From 898c70132abef82f1d23f7982b4bf7864683fa35 Mon Sep 17 00:00:00 2001 From: Vivek Agrawal Date: Thu, 4 Jan 2024 17:30:16 +0530 Subject: [PATCH 1/2] test --- testchange | 1 + 1 file changed, 1 insertion(+) create mode 100644 testchange diff --git a/testchange b/testchange new file mode 100644 index 00000000000..c42dda4441e --- /dev/null +++ b/testchange @@ -0,0 +1 @@ +testchange From 151b526caba35b175e779ff89be653228e524624 Mon Sep 17 00:00:00 2001 From: Vivek Agrawal Date: Thu, 4 Jan 2024 18:02:19 +0530 Subject: [PATCH 2/2] Fixes pushing to PR branch --- .github/workflows/add_contributor.yml | 4 ++-- testchange | 1 - 2 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 testchange diff --git a/.github/workflows/add_contributor.yml b/.github/workflows/add_contributor.yml index b6ec2f88bb3..4849ca24e34 100644 --- a/.github/workflows/add_contributor.yml +++ b/.github/workflows/add_contributor.yml @@ -36,7 +36,7 @@ jobs: - name: Checkout repository uses: actions/checkout@v4 with: - ref: ${{ github.event.pull_request.head.sha }} + ref: ${{ github.head_ref }} - name: Get contributor's full name and append to AUTHORS.md file run: | @@ -53,4 +53,4 @@ jobs: git config --global user.email 'github-actions[bot]@users.noreply.github.com' git add AUTHORS.md git commit -m "Add ${{ github.event.pull_request.user.login }} to AUTHORS.md" - git push + git push origin ${{ github.head_ref }} diff --git a/testchange b/testchange deleted file mode 100644 index c42dda4441e..00000000000 --- a/testchange +++ /dev/null @@ -1 +0,0 @@ -testchange