Kim Morrison 7e04970c58 fix: skip nightly-testing merge when branch does not exist (#13308) ... This PR makes `release_steps.py` robust to release repos that have no `nightly-testing` branch. Previously, `git merge origin/nightly-testing` would fail with "not something we can merge" and the error handler misinterpreted this as a merge conflict, then crashed trying to commit with nothing to commit. Now we check for the branch with `git ls-remote --heads` before attempting the merge. 🤖 Prepared with Claude Code --------- Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>		2026-04-08 00:31:22 +00:00
..
lib	fix: update-stage0 under the Lake cache	2026-02-25 11:40:02 +01:00
profiler	feat: unify name demangling with single Lean implementation (#12539)	2026-03-06 12:29:35 +00:00
apply.lean	fix: deallocation for closures in non default configurations (#11217)	2025-11-17 16:27:20 +00:00
benchReelabRss.lean	chore: switch to new test/bench suite (#12590)	2026-02-25 13:51:53 +00:00
benchReelabWatchdogRss.lean	chore: switch to new test/bench suite (#12590)	2026-02-25 13:51:53 +00:00
build_artifact.py	feat: add build_artifact.py for downloading CI artifacts (#11735)	2025-12-19 04:09:23 +00:00
collideProfiles.lean
diff_changelogs.py
fmt	chore: switch to new test/bench suite (#12590)	2026-02-25 13:51:53 +00:00
gen_constants_cpp.py	chore: fix test suite on macOS (#12780)	2026-03-03 20:59:08 +00:00
gen_tokens_cpp.py	chore: fix test suite on macOS (#12780)	2026-03-03 20:59:08 +00:00
issues_summary.sh
lakefile.toml	feat: add lake shake command (#11921)	2026-01-19 11:11:13 +00:00
lean-bisect	feat: support revised nightly releases (nightly-YYYY-MM-DD-revK) (#12461)	2026-02-13 00:41:04 +00:00
lean-bisect-test.lean	feat: add lean-bisect script for bisecting toolchain regressions (#11727)	2025-12-21 20:04:47 +00:00
lean-toolchain	chore: relative lean-toolchains (#12652)	2026-02-25 10:23:35 +00:00
lean_profile.sh	chore: fix profiler shebang and add profiling skill (#12519)	2026-03-01 07:09:33 +00:00
mathlib-bench	feat: move lean-pr-testing-NNNN branches to a fork (#8933)	2025-06-24 03:30:43 +00:00
merge_remote.py	feat: updates to release process for v4.23.0 (#10383)	2025-09-14 23:52:19 +00:00
Modulize.lean	chore: modulize: work around unknown initial command (#12080)	2026-01-21 20:25:13 +00:00
patch.sh
prepare-llvm-linux.sh	chore: CI: fix Linux release jobs (#11424)	2025-11-28 16:27:32 +00:00
prepare-llvm-macos.sh
prepare-llvm-mingw.sh	chore: remove old LEAN_AUTO_THREAD_FINALIZATION workaround (#8885)	2025-06-20 08:52:17 +00:00
PROFILER_README.md	feat: add Lean name demangler and profiling pipeline (#12517)	2026-02-17 03:27:58 +00:00
push_repo_release_tag.py	feat: further release automation (#9092)	2025-06-30 05:44:10 +00:00
rebase-stage0.sh
reformat.lean
release_checklist.py	fix: make -DLEAN_VERSION_* CMake overrides actually work (#13226)	2026-04-01 05:31:23 +00:00
release_notes.py	chore: update script/release_notes.py for changelog-tactics (#10436)	2025-09-18 07:22:53 +00:00
release_repos.yml	chore: add leansqlite to release repos (#13293)	2026-04-07 08:54:42 +00:00
release_steps.py	fix: skip nightly-testing merge when branch does not exist (#13308)	2026-04-08 00:31:22 +00:00