Switch back to the https://
repository URL but without the .git
extensions. It seems faster than the git://
protocol for this server.
Follow up to !1801 (merged) and !1452 (merged).
Switch back to the https://
repository URL but without the .git
extensions. It seems faster than the git://
protocol for this server.
Follow up to !1801 (merged) and !1452 (merged).