Fix username issue

infocusp · Apr 21, 2024 · 0aad192 · 0aad192
1 parent d055ebc
commit 0aad192
Showing 1 changed file with 0 additions and 7 deletions.
diff --git 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,15 +28,13 @@ 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
       - name: Get original author's name
         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