Fix username issue

infocusp · Apr 21, 2024 · 3c4c25b · 3c4c25b
1 parent 0aad192
commit 3c4c25b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update_leaderboard_after_merge.yaml b/.github/workflows/update_leaderboard_after_merge.yaml
@@ -34,7 +34,7 @@ jobs:
       - 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 "Found merge commit=$merge_commit"
           echo "merge_commit=$merge_commit" >> "$GITHUB_ENV"
 
       - name: Set original author