Re: auto-merge after push?

Hi,

On Sun, 12 Jul 2009, Junio C Hamano wrote:

If Dscho is short on time, perhaps somebody else can improve upon the
documentation part of the patch?

That would be fabulous.  It is not looking as if my Git time balance is 
going to improve (as far as Git is concerned) now that I accepted to take 
on more responsibilities in my day job.

It does not help, of course, that I wanted this jgit gui toy out to the 
public, either.

Ciao,
Dscho