chore: add !consistent PR-comment auto-fix for lean-toolchain drift#825

kim-em wants to merge 3 commits intomainleanprover/verso:mainfrom

ci-actionable-toolchain-fixleanprover/verso:ci-actionable-toolchain-fixCopy head branch name to clipboard