On Tue, Oct 30, 2018 at 9:23 AM Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> wrote: > > 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. TIL. Thanks for the heads up.