From 820a57076182847770a1a3e8c5c71810b50c93a8 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Fri, 13 Jun 2025 13:06:52 +0200 Subject: Update bootstrapping documentation ... mentioning that now etc/repos.in.json is used for bootstrapping. This is relevant for both, determining the precise list of dependencies needed as well as for patching the repository configuration, e.g., in a package build. --- CHANGELOG.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'CHANGELOG.md') diff --git a/CHANGELOG.md b/CHANGELOG.md index fe4c40c6..08a3ae98 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -42,6 +42,18 @@ A feature release on top of `1.5.0`, backwards compatible. distinguished as requested by the remote-execution protocol. - Various improvements of the documentation. +### Note for package maintainers + +Any patching that used to patch `etc/repos.json` should now patch +`etc/repos.in.json`. Background: to allow linting with well-defined +dependencies, for the newly-added `"lint"` repository additional +dependencies are pulled in via `just-lock` to bootstrap the correct +versions of those tools; the local, manually-edited repository +configuration `etc/repos.in.json` still contains everything needed +for building and testing. So, to avoid accidentally trying to fetch +more than is absolutely needed, `bin/bootstrap.py` was changed to +use the original, manually-maintained `etc/repos.in.json`. + ## Release `1.5.0` (2025-03-06) A feature release on top of `1.4.0`, backwards compatible. -- cgit v1.2.3