On Thu, Mar 26, 2015 at 9:52 PM, Matthew Butterick <m...@mbtype.com> wrote: > I'm confused about how local package development is supposed to work with > `raco pkg install --clone`. This is turning into a deterrent to diagnosing & > fixing bugs, and an encouragement to post issues so others can fix them. > > In the dark ages, one would a) fork the main Racket repo on GitHub, b) work > on a clone of that fork locally, and occasionally c) make pull requests, or > d) update the fork from the upstream master. (A process well documented by > Greg Hendershott [1]) > > I've read the new documentation about clone workflow. [2] And when I do this: > > raco pkg install --clone typed-racket > > It works as advertised. But I end up with a clone of the main typed-racket > repo. Which is not what I want, because I'm not a core committer. Right?
I think you're good up to here. The repo clone that you have can't actually be pushed to in the normal course of events, so in this situation you and I (a typed-racket committer) are in the same situation. Then, you go to that directory, and you add a new git remote for your fork: > So I fork it on Github to http://github.com/mbutterick/typed-racket. $ git remote add mbutterick https://github.com/mbutterick/typed-racket Then you can do things like: $ git push mbutterick which pushes your current branch to that remote. This is how I do all my development for Racket, which most of the time is on pull requests as well. One useful tool for this is `hub` [1] which makes git commands for github easier -- the above command becomes `hub remote add mbutterick/typed-racket`. Sam [1] https://hub.github.com/ But when I try to use this fork as my <git-pkg-source>: > > raco pkg install --clone typed-racket > https://github.com/mbutterick/typed-racket -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
