6 Mar
2011
6 Mar
'11
1:27 p.m.
On Sun, Mar 6, 2011 at 02:38, Antoine Pitrou
For the record, the reason these emails look a bit strange (and appear to be pushed by Dirkjan (sorry)) is that they were done directly on the server with the settings of the local user "hg".
FWIW, I have a tiny extension at work that can set the user depending on the private key used to log in. I could show you the code if it's helpful (it'll probably need some refinements to be robust enough). Cheers, Dirkjan