commit: 30c59e81db5ee02a476fb6a8290eea6f68cd9fb0

[log]
author: Kim Morrison <kim@tqft.net>

Wed Apr 01 03:08:02 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Apr 01 03:08:02 2026 +0000
tree: fbd2e218bf2d17cab6b7b8033383e5f50eab41e1
parent: f395593ffce1b94cdd025ba51c23aa5eeef7e353 [diff]

chore: add safety notes to release command

This PR adds two safety notes to the Claude Code release command:
- Mathlib bump branches live on `mathlib4-nightly-testing`, not the main `mathlib4` repo
- Never force-update remote refs without explicit user confirmation

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

.claude/commands/release.md[diff]

1 file changed

tree: fbd2e218bf2d17cab6b7b8033383e5f50eab41e1

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.