Hi all, I've been trying to adjust to the new package-split workflow now and I've bumped into a small usability problem and I wanted to see if anyone else has encountered this or if my config is just broken somehow.
On a fresh build of Racket, if I do the following: raco pkg update --clone typed-racket it will install TR from github and reinstall. An excerpt from the config for that git repo looks like this: [remote "origin"] url = git://github.com/racket/typed-racket/ The problem is that this URL is not as useful as it could be because github won't let you push to it (at least I can't seem to). The corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me push. Is this something other people have encountered or is there some git config that I should fix on my end? Cheers, Asumu _________________________ Racket Developers list: http://lists.racket-lang.org/dev