On Dec 7, 2010, at 1:19 PM, Malcolm J. Currie wrote:
>> I think you made some fixes to temp files along the way. Can we have those? Thanks for looking into things for us.
>
> I already discussed this with Brian this afternoon. You either give Brian access to push his HDS mods, as Brian used the readonly pull; or we make the commits from my checkout temporarily changing GIT_AUTHOR_NAME etc. or you hack the authorship in your role as repository administrator, whichever is easier.
We can do anything :-) Git is your friend...
It all depends on what Brian's comfort level with git is. He can have push access if he wants it (just send us a ssh public key). If he is just going to delete his dev tree and get on with his life he can just commit locally and use git format-patch to write a patch file (or two) to email me. Multiple patches preferred if there are multiple fixes.
I can't modify the author name after a push to the central repository without making things difficult for everyone else (since the SHA1 would change).
--
Tim Jenness
Joint Astronomy Centre
|