-
Notifications
You must be signed in to change notification settings - Fork 11
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
Sensitive for git URL endings #40
Comments
You can opt out of treating that check as an error with
|
But that would disable all checks, right? I don't want that, I just want the check to be tolerant with respect to URLs that point to the same location. |
Yes, it would. If you have an algorithm that can robustly determine URL same-ness, and remember that this code is supposed to support more places than github, I guess it could be added. Another possible option would be to add a callback that would get asked whether two URLs are equivalent. |
Then there's also the workaround to look up the URL before calling |
Is it a github thing that the URL with and without the trailing It seems like a github specific check here would be ok? That would help with the vast majority of cases that this package handles? |
Maybe we should take a step back here. What effect do you want to get by treating them as identical? You know that you can just use an empty string for |
|
I see. |
This line marks differences in URLs as an error that it probably shouldn't, in particular the following two URLs should probably be treated as identical:
https://github.com/Foo/Bar.jl
andhttps://github.com/Foo/Bar.jl.git
.I'm not familiar with the code, though, to propose a fix.
The text was updated successfully, but these errors were encountered: