PEP 464: drop the legacy mirror checking API
Workflow automation proposal updates

- merge gating makes it easier for others to do continuous
  integration against the CPython development branches
- interesting IRC chat with the CTO of RhodeCode last week,
  updated accordingly