On Thu, 28 Oct 2021 at 18:22, Jean-Noël Avila via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > archives that it imports, it is also possible to specify Git branch names > -manually. To do so, write a Git branch name after each <archive/branch> > +manually. To do so, write a Git branch name after each <archive>/<branch> > parameter, separated by a colon. This way, you can shorten the Arch > -<archive/branch>:: > - Archive/branch identifier in a format that `tla log` understands. > +<archive>/<branch>:: > + <archive>/<branch> identifier in a format that `tla log` understands. This patch looks good to me. Maybe these "<archive>/<branch>" should go in SQs, but that should be outside the scope of this patch (and this series is big enough anyway). This last instance here adds a new instance of this pattern, but it's an existing pattern and you're following the local convention. Martin
