On Thu, Jan 6, 2011 at 1:29 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > >> If your goal is to figure out this git stuff, I'm happy to keep >> answering questions. If your goal is, more immediately, to figure out >> if you need those 53 commits, open up read permissions to robby/plt >> and I (or someone) more familiar with the commands can check it out >> real quick. > > How do I do that? I think I'd like to do that on general principle in > case it is useful down the road.
Run "ssh git help"; it will explain the various commands available to you, including "setperms" and "getperms". > FWIW, I did a git push --force, so I'm not sure if I know how to get > back there or not. Okay. Moving on, then. > And yes, my goal was to understand more of git, but I'm becoming > increasingly convinced that this particular question is probably a > waste of time. > > I'm sure I'll be back in touch when I finish the change I'm working on > --- but hopefully just to thank you for giving me the tools to figure > out how to get my changes into the main tree.... I await further questions or commit notifications. :) --Carl _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
