> On Jul 16, 2019, at 5:14 PM, Maxim Kuvyrkov <maxim.kuvyr...@linaro.org> wrote: > >> On Jul 16, 2019, at 3:34 PM, Jason Merrill <ja...@redhat.com> wrote: >> ... >> >>> b. Re-write tags/ branches into annotated tags. Note that tags/* are >>> included into history of several branches via merge or copy commits, so we >>> would need to re-write history to have proper references to annotated tag >>> commits in the histories of such branches. >> >> Missing tags is definitely something to fix about the current mirror. >> I don't think we need to worry about inserting them into branch >> history. > > If we don't do this then "git branch -a --contains some/tag" will not work > correctly.
I was wrong here. Git tag objects (annotated tags) cannot appear in branch history because they are resolved to the commits they are pointing to. Only commit objects can appear in branch history. This makes conversion of tags much simpler, since [annotated] tags cannot affect history branches. Regards, -- Maxim Kuvyrkov www.linaro.org
