Skip to content

Commit b142e12

Browse files
committed
Fix username issue
1 parent 0aad192 commit b142e12

File tree

1 file changed

+1
-8
lines changed

1 file changed

+1
-8
lines changed

.github/workflows/update_leaderboard_after_merge.yaml

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -30,13 +30,6 @@ jobs:
3030
echo "Found merge commit: $merge_commit"
3131
echo "merge_commit=$merge_commit" >> "$GITHUB_ENV"
3232
33-
# Merge commit has maintainer's name so we get name from second last commit
34-
- name: Get original author's name
35-
id: original_author
36-
merge_commit=$(git log --merges --pretty=format:%H -1 $GITHUB_SHA)
37-
echo "Found merge commit: $merge_commit"
38-
echo "merge_commit=$merge_commit" >> "$GITHUB_ENV"
39-
4033
- name: Set original author
4134
run: |
4235
if [ -n "$merge_commit" ] && [ "$GITHUB_SHA" = "$merge_commit" ]; then
@@ -46,7 +39,7 @@ jobs:
4639
else
4740
original_author=$commit_author
4841
original_email=$commit_email
49-
echo "No merge commit found. Setting original author as $commit_author($commit_email)."
42+
echo "Not a merge commit. Setting original author as $commit_author($commit_email)."
5043
fi
5144
echo "original_author=$original_author" >> "$GITHUB_ENV"
5245
echo "original_email=$original_email" >> "$GITHUB_ENV"

0 commit comments

Comments
 (0)