[Python-Dev] Re: Procedure for trivial PRs