linter.fugue.admitScope

A sorry in tactic position is written admit — the tactic keyword makes the syntactic scope explicit. In term position sorry stays. This is the inverse of Mathlib's linter.style.admit.