2020-04-06 | Pierre-Yves David | head-checking: ignore obsoleted section when checking head creation locally | file | diff | annotate |
2020-03-11 | Pierre-Yves David | head-checking: ignore obsolete section when checking for single heads | file | diff | annotate |