If a git tag changes on remote, a git fetch does not update it locally. Is this a bug? August 20, 2018