Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[fix] Make empty repo check non-case sensitive #994

Merged
merged 3 commits into from
Feb 4, 2022

Conversation

slarse
Copy link
Collaborator

@slarse slarse commented Feb 4, 2022

The check was case sensitive, and the version of Git running in GitHub Actions used all lowercase (which RepoBee did not account for). See #981

I do not really see a reason to use casefold here as the text we are trying to find is obviously all ASCII
@slarse
Copy link
Collaborator Author

slarse commented Feb 4, 2022

Apparently also had to use the old way of fetching the event loop for versions < 3.10

@slarse slarse merged commit 479aa5a into repobee:master Feb 4, 2022
@slarse slarse deleted the fix-empty-student-repos-test branch February 4, 2022 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant