commit: 5cc0d2a87f0dc9b492b85af274dcdad49d3f1856

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Nov 04 13:10:10 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 05 12:57:37 2026 +0000
tree: 7997d0754bdcde5a13e36797e41682adb00c112e
parent: e485f01f9967f3272f13298943cb7765f26e4470 [diff]

doc: state that external PRs are closed automatically

This PR updates `CONTRIBUTING.md` and the PR template to say that the repository only accepts PRs from the Lean FRO team and a small set of regular contributors, and to point everyone else to the issue tracker.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2 files changed

tree: 7997d0754bdcde5a13e36797e41682adb00c112e

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.