"Zhang, Junchao via petsc-dev" <[email protected]> writes:
> We should have a mechanism to auto-detect API-breaking commits and then we > can fix them before release. We should have our CI system flag PRs that fail this checker to confirm that it's documented in changes/dev.html and that the change is really necessary. https://lvc.github.io/abi-compliance-checker/
