[issue39837] Make Azure Pipelines optional on GitHub PRs

[STINNER Victor]

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

> Otherwise there were so many posts I didn't find an explicit ask of what you wanted changed, Victor.

I would like to make Azure Pipelines optional on GitHub PRs.

I changed the issue title to make my request more explicit.

----------

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