Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The weekly openapi job can remove files when their surface shrinks leading to a broken pipeline. This allows that failing step to pass, which in turn pushes up a broken and unformatted PR in that case. Since we have to fix API breakages anyways, that is reasonable.
- Loading branch information