fix(reviewer-bot): make spec-lock updates pure#511

PLeVasseur merged 1 commit intoSafety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:mainfrom

PLeVasseur:fix/reviewer-bot-privileged-spec-lock-pure-pathPLeVasseur/safety-critical-rust-coding-guidelines:fix/reviewer-bot-privileged-spec-lock-pure-pathCopy head branch name to clipboard