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.