Re: [PATCH v2 2/9] doc: split placeholders as individual tokens
flat view
From: Martin Ågren <hidden>
Date: 2021-10-28 18:46:00
On Thu, 28 Oct 2021 at 18:22, Jean-Noël Avila via GitGitGadget [off-list ref] wrote:
quoted hunk ↗ jump to hunk
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
quoted hunk ↗ jump to hunk
-<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