Make Azure Pipelines optional on GitHub PRs #84018
Description
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = None
closed_at = <Date 2020-04-30.18:36:36.085>
created_at = <Date 2020-03-03.17:05:19.756>
labels = ['3.8', '3.7', 'tests', '3.9']
title = 'Make Azure Pipelines optional on GitHub PRs'
updated_at = <Date 2020-05-15.15:12:05.138>
user = 'https://github.com/vstinner'bugs.python.org fields:
activity = <Date 2020-05-15.15:12:05.138>
actor = 'vstinner'
assignee = 'none'
closed = True
closed_date = <Date 2020-04-30.18:36:36.085>
closer = 'brett.cannon'
components = ['Tests']
creation = <Date 2020-03-03.17:05:19.756>
creator = 'vstinner'
dependencies = []
files = ['48956']
hgrepos = []
issue_num = 39837
keywords = ['patch']
message_count = 50.0
messages = ['363279', '363289', '363291', '363292', '363382', '363384', '363394', '363405', '363425', '363447', '363455', '363458', '363460', '363466', '363498', '363568', '363569', '363570', '363571', '363808', '365460', '365496', '365503', '365519', '365535', '365561', '365604', '365609', '365799', '367578', '367593', '367600', '367627', '367659', '367673', '367678', '367769', '367781', '367798', '367799', '367800', '367801', '367802', '367804', '367805', '367806', '367807', '367861', '368358', '368952']
nosy_count = 7.0
nosy_names = ['brett.cannon', 'vstinner', 'ned.deily', 'python-dev', 'steve.dower', 'miss-islington', 'shihai1991']
pr_nums = ['18769', '18818', '18820', '18821', '18835']
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue39837'
versions = ['Python 3.7', 'Python 3.8', 'Python 3.9']