From: Shawn O. Pearce <spearce@spearce.org>
Date: Mon, 25 Aug 2008 14:15:06 GMT
Subject: Re: [EGIT PATCH 00/31] Push GUI, GUI improvements, various jgit stuff
Message-ID: <20080825141506.GB25654@spearce.org>
In-Reply-To: <48B2BE1E.2020503@gmail.com>

Marek Zawirski <marek.zawirski@gmail.com> wrote:
> Robin Rosenberg wrote:
>
>> I pushed the cleanups to pu using the Eclipse plugin(!) built from that 
>> version. You may want to take a quick look before we declare it master. 
>> 
>>
>> Nice work Marek!
>
> Nice to hear that:)

I used the plugin to push itself to master.  Your changes are in
the main tree.  Yay!

-- 
Shawn.