On Saturday 30 July 2011 19:00:22 Jon Seymour wrote:
> On Sun, Jul 31, 2011 at 12:34 AM, Christian Couder
>
> <chriscool@xxxxxxxxxxxxx> wrote:
> > Is there a reason you use "${GIT_DIR}" instead of "$GIT_DIR" that is used
> > everywhere else?
>
> No, there is no good reason.
>
> I've pushed a revision that addresses your comments to github -
> https://github.com/jonseymour/git/commits/no-checkout-v2
> (git@xxxxxxxxxx:jonseymour/git.git)
I commented on some of the patches there.
> I'll post the revised series to the list once Junio and others have
> had a chance to comment.
Thanks,
Christian.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html