ref: 3a10ba9fd216ed2f9d190e1f6473542717af2379
parent: 4c5e5174f82c67b0b2a15a08369a57ec0b03e916
author: Ori Bernstein <[email protected]>
date: Sun Jan 15 16:47:49 EST 2023
git(1): update example to work with today's github
--- a/sys/man/1/git
+++ b/sys/man/1/git
@@ -622,7 +622,7 @@
To clone an existing repository from a git server, run:
.PP
.EX
-git/clone git://github.com/Harvey-OS/harvey
+git/clone https://github.com/Harvey-OS/harvey
cd harvey
# edit files
git/commit foo.c