GitExternal: Do not fetch if we are already on the correct tag

Requested by Werner, should also speed up configure step.