We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Because GitHub removed support for the git://github.com/… protocol in 2022 many packages from GitHub can no longer be pulled. Replacing all git://github.com/… URLs with the corresponding https://github.com/… URLs fixes the problem.
git://github.com/…
https://github.com/…
The text was updated successfully, but these errors were encountered:
happy to merge a PR
Sorry, something went wrong.
Fix fractalide#320
2556f71
008ba98
e9a1a3f
No branches or pull requests
Because GitHub removed support for the
git://github.com/…
protocol in 2022 many packages from GitHub can no longer be pulled. Replacing allgit://github.com/…
URLs with the correspondinghttps://github.com/…
URLs fixes the problem.The text was updated successfully, but these errors were encountered: