You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looks like we need to use a more proper parser to fix this. I tried https://github.com/npm/hosted-git-info but the API works awkwardly again where it can't parse from the shorthand, and it's beefy. I don't know if there's other libraries that can do the same out there, or we have to write one ourselves.
I spotted a dead link on https://publint.dev/z3-solver@4.13.0 which uses
"repository": "github:Z3Prover/z3"
. The icon link currently goes to https://github.com/github:Z3Prover/z3.I'm not sure how common this is but it looks like npm supports a few shortcuts for
github:
,gitlab:
etc... https://docs.npmjs.com/cli/v10/configuring-npm/package-json#repositoryThe text was updated successfully, but these errors were encountered: