From: Johannes Schindelin Date: Sat, 12 Apr 2008 15:24:25 GMT Subject: Re: [PATCH] Default to fetching a remote after adding it. Message-ID: In-Reply-To: <20080412171332.5abb2705@localhost> Hi, On Sat, 12 Apr 2008, Gabriel wrote: > Now that we have the maintainer's opinion, this is also settled. Thanks for ignoring my opinion. Have a nice life, Dscho