Do not trust GitHub's PR state after the PR has been already merged#752

Kobzol merged 1 commit into

rust-lang:mainrust-lang/bors:mainfrom

Kobzol:github-resiliencyKobzol/bors:github-resiliencyCopy head branch name to clipboard