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 |