[Python-Dev] getting merge rights back on github