[issue39837] Remove Azure Pipelines from GitHub PRs

[STINNER Victor]

STINNER Victor <vstinner at python.org> added the comment:

> PR 18769 should *not* be merged.

Ok, I closed it.

> First, it needs to be changed to a non-required check.

Who is allowed to do that?

----------

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue39837>
_______________________________________