-
Notifications
You must be signed in to change notification settings - Fork 202
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
--new-pr
does not check for valid GitHub user name
#3642
Comments
Also true for |
I think we can probably add a check in https://github.com/easybuilders/easybuild-framework/blob/develop/easybuild/tools/github.py#L953 that the |
Hmm, can you check if this a regression we introduced at some point? We can definitely do better, but there are some caveats too: if I'm a bit surprised by this though: when |
So I use |
I was just opening an easyconfig PR and noticed that
--new-pr
doesn't seem to check that there is a valid GitHub user name set (any more?..EB v4.3.4) and tries to useNone
The text was updated successfully, but these errors were encountered: