[python-committers] Committer metadata not updating?

[Georg Brandl]

On 09.09.2012 05:01, Nick Coghlan wrote:
> I just noticed that Eric Snow wasn't showing up as a committer on the
> tracker, even though I've seen him push the PEP 421 updates to the 3.3
> What's New docs.
> 
> He's also missing from http://www.python.org/dev/committers and
> http://docs.python.org/devguide/developers.html
> 
> Could this be another glitch from the migration of the hg server to OSU/OSL?

Only the /dev/committers could be called a glitch; hg is now on a different
server than www and we didn't care for it yet.

I've updated the tracker and the devguide now -- these steps must be taken
manually after adding a key.

cheers,
Georg