GitLab

À faire après !105 (merged). Forte charge émotionnelle, avec 49 options :-)

• noms longs partout ou pas ? Peut-être -V n'a pas besoin de nom court. Mais c'est presque un élément de doc, ce n'est pas impossible qu'on aie à la fois -g, --germline et -3, --cdr3.

• supprimer certains noms courts ? Évidemment pas ceux auquel on est habitués... Mais pourquoi pas pour les options obsures.