git:// links no longer work, refer to the https:// one.