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