Re: PUSH_HEAD, was Re: disallowing push to currently checked-out branch

Hi,

On Tue, 17 Feb 2009, Jay Soffian wrote:

So both you and Junio have changed your mind since that thread then.

I never claimed to be unable to learn.

Ciao,
Dscho