The extraction failed on June 26 with the following result:
Run GITHUB_ENV_PATH=$(mktemp)
no specific target month supplied. Taking the previous month.
Output file: data/honored_contributor.csv
Checking input file data/pr_per_submitter-2024-05.csv
- Header is correct
- At least one Submitter data available
- Picked record [17](https://github.com/jenkins-infra/jenkins-contribution-stats/actions/runs/9675510361/job/26693150364#step:5:18)9 : Lhokhilloo - 1 PRs
Error: Error performing user query: Could not resolve to a User with the login of 'Lhokhilloo'.
Fetching data from GitHub
Error: Process completed with exit code 1.
Apparently, the user does not exist anymore on GitHub.
Expected Results
Expected result: more meaning full error message and eventually an automated rerun
Reproduction steps
The extraction failed on June 26 with the following result:
Apparently, the user does not exist anymore on GitHub.
Expected Results
Expected result: more meaning full error message and eventually an automated rerun