Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Eli Barzilay
On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: > > 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

Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Robby Findler
FWIW, I have just been doing "git remote set-url origin " and it has worked well and been easy. Robby On Tuesday, December 16, 2014, Sam Tobin-Hochstadt wrote: > I think this is the case for everyone. > > I've used the `hub` [1] tool to address this. Once I have a checkout, > if I need to push,

Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Sam Tobin-Hochstadt
I think this is the case for everyone. I've used the `hub` [1] tool to address this. Once I have a checkout, if I need to push, I do: $ hub remote add -p racket/typed-racket and then $ git push racket Having an option to `raco pkg update` and `raco pkg install` to use the corresponding

[racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Asumu Takikawa
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 type

Re: [racket-dev] [racket/typed-racket] 3e45f2: Adjust TR test package dependencies

2014-12-16 Thread Asumu Takikawa
On 2014-12-16 13:26:38 -0800, Asumu Takikawa wrote: > Branch: refs/heads/master > Home: https://github.com/racket/typed-racket > Commit: 3e45f258bed22d16b1f7ab1cac701d20c5f57e06 > > https://github.com/racket/typed-racket/commit/3e45f258bed22d16b1f7ab1cac701d20c5f57e06 > Author: Asu