commit: fcf4163e67f393e5d050108453609f94f07fd645

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

Tue Jan 27 18:17:44 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 27 18:17:44 2026 +1100
tree: 7a624ea2c9847b9fe9982d173cb21da351957a55
parent: ddf6f875e912e3eee8cc43a97b0ce3fa42de959b [diff]

doc: clarify release notes title format requirements

- Add explicit section explaining title format for -rc1, subsequent RCs, and stable releases
- Update example to use realistic date format instead of YYYY-MM-DD
- Clarify that only content is written for -rc1, subsequent releases just update the title

doc/dev/release_checklist.md[diff]

1 file changed

tree: 7a624ea2c9847b9fe9982d173cb21da351957a55

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.