Re: [python-committers] Can we delete https://hg.python.org/coding/cpython/?