From: Paul Mackerras <paulus@samba.org>
Date: Sat, 11 Dec 2010 23:23:24 GMT
Subject: Re: [GITK PATCH] gitk: add menuitem for file checkout from selected or parent commit
Message-ID: <20101211232324.GB3788@brick.ozlabs.ibm.com>
In-Reply-To: <20100928200344.GA12843@book.hvoigt.net>

On Tue, Sep 28, 2010 at 10:03:45PM +0200, Heiko Voigt wrote:

> This is useful if a user wants to checkout a file from a certain
> commit. This is equivalent to
> 
>   git checkout $commit $file
> 
> Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>

Thanks for the patch.  However, the commit message doesn't mention
that the patch also adds the 'checkout from parent' menu item or why
that's a useful thing to have.  I like the 'checkout from this commit'
thing but I don't immediately see why checking out from the first
parent is so useful that we have to have it as a menu item, but
checking out from other parents of a merge isn't.

Also, don't bother updating the po files.  The translators generally
prefer it if we don't.

Paul.