From 1c899e57a0370ae2e1917c63afaa3757742cdcc2 Mon Sep 17 00:00:00 2001 From: Hetul Patel Date: Sun, 21 Apr 2024 14:53:18 +0530 Subject: [PATCH] Fixed username issue in LB --- .../update_leaderboard_after_merge.yaml | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/.github/workflows/update_leaderboard_after_merge.yaml b/.github/workflows/update_leaderboard_after_merge.yaml index 3310ad0..b576334 100644 --- a/.github/workflows/update_leaderboard_after_merge.yaml +++ b/.github/workflows/update_leaderboard_after_merge.yaml @@ -44,27 +44,10 @@ jobs: echo "original_author=$original_author" >> "$GITHUB_ENV" echo "original_email=$original_email" >> "$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 - # run: | - # echo "Passed merge commit: $merge_commit" - # echo "$(git log --format='%ae' -n 2 $merge_commit)" - # original_author=$(git log --format='%an' -n 2 $merge_commit | tail -n 1) - # original_email=$(git log --format='%ae' -n 2 $merge_commit | tail -n 1) - # echo "Author of original commit is $original_author ($original_email)" - # # echo "::set-output name=original_author::$original_author" - # echo "original_author=$original_author" >> "$GITHUB_ENV" - - - name: Check if there are any changes in submissions dir uses: dorny/paths-filter@v3.0.2 id: changes with: - # Use context to get the branch where commits were pushed. - # If there is only one long-lived branch (e.g. master), - # you can specify it directly. - # If it's not configured, the repository default branch is used. base: ${{ github.ref }} filters: | src: