Use "https://" instead of "git://" for GitHub download

I originally chose "git://" because I thought "https://"
from GitHub didn't support `--depth 1`, but that does not seem
to be the case.
This commit is contained in:
Matthew Flatt 2015-10-02 08:31:10 -06:00
parent ed07a5e176
commit 4caaf3e8b3

View File

@ -49,7 +49,7 @@
(eq? type 'github))
(match (split-github-url pkg-url)
[(list* user repo branch path)
(values 'git "github.com" #f (~a user "/" repo) branch path)])
(values 'https "github.com" #f (~a user "/" repo) branch path)])
(split-git-url pkg-url)))
(define (enclosing-path-for-repo url-str in-repo-dir)