Re: git push weird?

[Ludovic Courtès]

Hi,

Thien-Thi Nguyen <address@hidden> writes:

> Yes, but now i believe that that was fuzzy thinking, not to mention
> in disregard of my agreement to not do so made several months ago
> (which i didn't remember until just after pressing RET -- sigh).  :-(

Heh, no problem.  ;-)

> I will push only to ttn/* henceforth.

OK.

> Could you please undo the damage on ‘master’?

I just removed your commits, reverting to
1772145c0222e4826e5113c14ee96fd95b263420.  Hopefully that won’t cause
any problem to others, as I haven’t seen any public activity in between.

I’ll comment on your commits in a separate message.

Thanks,
Ludo’.