[python-committers] Push rights for new Jython contributors

[fwierzbicki at gmail.com]

It's been a while since we added a Jython contributor, so I no longer
know what the process would be and we have at least one person we'd
like to add.

Previously, I think the process was:

1) Contributor creates a user on bugs.python.org using their real name.
2) Contributor signs the PSF agreement (not the Jython-specific one,
which is not used anymore).
3) Someone gives contributor push rights to hg.python.org.

Is this still the process for Jython?

Kind regards,

Frank Wierzbicki