Mon, 06 Apr 2020 07:26:40 +0200 | Pierre-Yves David | head-checking: ignore obsoleted section when checking head creation locally | changeset | files |
Wed, 11 Mar 2020 23:56:11 +0100 | Pierre-Yves David | head-checking: ignore obsolete section when checking for single heads | changeset | files |