On Sun, Mar 6, 2011 at 02:38, Antoine Pitrou <[email protected]> wrote: > 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 _______________________________________________ Python-Dev mailing list [email protected] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com