Mon, 25 Sep 2023 16:47:55 +0200 | Pierre-Yves David | censors: simply use `revlog.reading` to keep things open dring rewrite | changeset | files |
Mon, 25 Sep 2023 17:18:40 +0200 | Pierre-Yves David | stream-clone: use `revlog.reading` in `revlog.get_streams` | changeset | files |
Mon, 25 Sep 2023 16:57:53 +0200 | Pierre-Yves David | debug-revlog: keep the revlog open for the analysis duration | changeset | files |
Mon, 25 Sep 2023 16:36:17 +0200 | Pierre-Yves David | repo-upgrade: keep the revlog open while cloning | changeset | files |