[python-committers] Push rights for new Jython contributors

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