Option to prune tags on fetch

[CDTR-MattConroy]

Occasionally (but rarely) tags are pushed that are then deleted. I use Git tags for my versioning, meaning if I ever re-tag the same commit again to trigger a workflow, persistent build agents will still be aware of the old tags on that commit that only exist locally. Could there an option (perhaps, I would argue, by default) to git fetch --prune --prune-tags on checkout to ensure tags that no longer exist in the remote exist locally?

[diroussel]

Seems like a good idea to me.

Pros:

• removing old tags makes things a bit cleaner, and can be sure your workflow is verifying the correct thing

Cons:

• might take a bit longer.