Use https: URL for git instead of git:
commit9f9dad63a57ef27c0d9421447c5138e00746395d
authorOlly Betts <olly@survex.com>
Tue, 26 Jun 2018 06:02:15 +0000 (26 18:02 +1200)
committerOlly Betts <olly@survex.com>
Thu, 28 Jun 2018 02:02:43 +0000 (28 14:02 +1200)
tree42186be4e64329129f8f863791f87955815c2a0c
parenta86bc0a98c15a0fee28e351f8fad7bea3e8eae50
Use https: URL for git instead of git:

https: provides better protection and is efficient with modern git.
(cherry picked from commit 6159d5753f5935fcd838c0c7a2458ce191ca2fef)
bootstrap