718d8acc76
This PR updates `release_repos.yml` to reflect that `import-graph` no longer depends on `batteries`, and reorders the repositories to better reflect dependencies. |
||
|---|---|---|
| .. | ||
| lib | ||
| apply.lean | ||
| bench.sh | ||
| benchReelabRss.lean | ||
| collideProfiles.lean | ||
| diff_changelogs.py | ||
| gen_constants_cpp.py | ||
| gen_tokens_cpp.py | ||
| issues_summary.sh | ||
| mathlib-bench | ||
| merge_remote.py | ||
| patch.sh | ||
| prepare-llvm-linux.sh | ||
| prepare-llvm-macos.sh | ||
| prepare-llvm-mingw.sh | ||
| push_repo_release_tag.py | ||
| rebase-stage0.sh | ||
| reformat.lean | ||
| release_checklist.py | ||
| release_notes.py | ||
| release_repos.yml | ||
| release_steps.py | ||