Re: [Python-Dev] getting merge rights back on github