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'll post the revised series to the list once Junio and others have
had a chance to comment.
jon.
--
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