Warning about Github

[cscalfani]

Why am I getting the following warning:

Warning: was not able to match url with GitHub ones: <gitlab url redacted>

Anyone hosting their own Git Server will get this warning.

[jhrcek]

This warning was made more informative recently (see this change) and the change is going to be released in spago 0.11.0.0

This warning is printed whenever repo url doesn't have the exact form https://github.com/<ORG>/<REPO>.git and it means the repo will not be cached in global cache (on my PC it's in ~/.cache/spago/), but only in project local cache (in <YOURPROJECTDIR>/.spago).

[f-f]

Yeah I think the new form is less annoying and way clearer, but still not that actionable in case users cannot use GitHub - i.e. it doesn't answer the question users might have of "how do I make this go away?"
So I think we should make it a debug log instead of printing it by default. Fix for this up in #481