On Wed, Oct 17, 2018 at 8:41 PM Elijah Newren <newren@xxxxxxxxx> 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.
