[racket-dev] Git

On Thu, Jan 6, 2011 at 1:29 PM, Robby Findler
<robby at 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