Fix username issue

infocusp · Apr 21, 2024 · a254ba0 · a254ba0
1 parent 0aad192
commit a254ba0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/update_leaderboard_after_merge.yaml b/.github/workflows/update_leaderboard_after_merge.yaml
@@ -33,8 +33,9 @@ jobs:
       # Merge commit has maintainer's name so we get name from second last commit
       - name: Get original author's name
         id: original_author
+        run: |
           merge_commit=$(git log --merges --pretty=format:%H -1 $GITHUB_SHA)
-          echo "Found merge commit: $merge_commit"
+          echo "Found merge commit=$merge_commit"
           echo "merge_commit=$merge_commit" >> "$GITHUB_ENV"
 
       - name: Set original author