Public Glob.ofString? for Lake TOML parsing (
1e367b5)
Glob.ofString? is now public, which lets downstream code reuse the parser instead of relying on open private access. The commit is small, but it removes an access restriction that was blocking Mathlib cleanup.
Clarify Claude guidance on rebasing vs PR base (68764f5)
Added a short note to .claude/CLAUDE.md explaining that “rebase onto X” should change only the local branch base, not the PR’s GitHub --base target. This helps preserve the Lean4 workflow where nightly-with-mathlib is used as a CI rebase target while the PR still targets master.
Other misc changes
- None.