On Wed, Oct 17, 2018 at 8:41 PM Elijah Newren <new...@gmail.com> wrote: > (And in the mean time I gave the user a one-liner to nuke his > local-only tags that I suspect he doesn't need.)
Just a note that you can usually set 'fetch.pruneTags=true' these days to make that happen.