Automatically open an issue when a tool breaks#56951

Merged

bors merged 8 commits intorust-lang:masterfrom

oli-obk:auto_toolstate_issue

Feb 13, 2019

Commits on Dec 18, 2018

Commits on Dec 19, 2018

Commits on Dec 20, 2018

Tidy
oli-obk
committed

Commits on Dec 23, 2018

Dedent mergebot message
oli-obk
committed

Commits on Feb 12, 2019

Permit issue posting to have network failures
oli-obk
committed