We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0aad192 commit 7f4b71bCopy full SHA for 7f4b71b
.github/workflows/update_leaderboard_after_merge.yaml
@@ -30,13 +30,6 @@ jobs:
30
echo "Found merge commit: $merge_commit"
31
echo "merge_commit=$merge_commit" >> "$GITHUB_ENV"
32
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
-
40
- name: Set original author
41
run: |
42
if [ -n "$merge_commit" ] && [ "$GITHUB_SHA" = "$merge_commit" ]; then
0 commit comments