From 0aad192b6e4fc4529b76c2284d8009a1d97adf0d Mon Sep 17 00:00:00 2001 From: Hetul Patel Date: Sun, 21 Apr 2024 14:40:38 +0530 Subject: [PATCH] Fix username issue --- .github/workflows/update_leaderboard_after_merge.yaml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/.github/workflows/update_leaderboard_after_merge.yaml b/.github/workflows/update_leaderboard_after_merge.yaml index a99a9e6..87d9dc9 100644 --- a/.github/workflows/update_leaderboard_after_merge.yaml +++ b/.github/workflows/update_leaderboard_after_merge.yaml @@ -14,11 +14,6 @@ jobs: with: fetch-depth: 10 - - name: Get merge commit hash - id: merge_commit - with: - fetch-depth: 10 - - name: Get current commit details id: commit_info run: | @@ -33,7 +28,6 @@ jobs: run: | merge_commit=$(git log --merges --pretty=format:%H -1 $GITHUB_SHA) echo "Found merge commit: $merge_commit" - # echo "::set-output name=merge_commit::$merge_commit" echo "merge_commit=$merge_commit" >> "$GITHUB_ENV" # Merge commit has maintainer's name so we get name from second last commit @@ -41,7 +35,6 @@ jobs: id: original_author merge_commit=$(git log --merges --pretty=format:%H -1 $GITHUB_SHA) echo "Found merge commit: $merge_commit" - # echo "::set-output name=merge_commit::$merge_commit" echo "merge_commit=$merge_commit" >> "$GITHUB_ENV" - name: Set original author