git fetch should also fetch tags

[shana]

git fetch doesn't fetch tags that aren't directly reachable by current branch heads. Long-lived release or maintenance branches are not normally merged back to master and tags created on them won't be fetched normally. We should do git fetch --allgit fetch --tags to ensure all tags are fetched.

EDIT: we want the --tags flag, not the --all flag

[parkgs]

Has anyone addressed this issue yet?

[StanleyGoldman]

Not yet @parkgs but I'll see what I can do about it...

[parkgs]

@StanleyGoldman I can try working on this! Do you have any general idea of what area of the source code to look at?