Closed MoodyMudit closed 3 years ago
Wow, I had no idea we've been building docker images for every PR for the last dozen years.
That cent7dev.dockerfile is failing because of a missing pip repository? I have to assume it was a transient error. The link is broken...
There's no way that webhook has worked since like 2016 or worse. I don't understand why it's blocking PRs suddenly starting today... I deleted the webhook here and on dockerhub.
Can I merge the PR if it is not an issue?
Indeed. I recommended an admin merge in Slack. I don't understand why there's no way for admin's to clear a spurious check-block.
The changes include