Manual
Developer documentation
CorrectionPreconditionException
Governance
Precondition for corrections not given (clean git repository).