GitExporter: ensure tags are processed

The GitExporter would (sometimes?) not push new tags when specified by
itself on the command-line (e.g., "git push origin newTag").  This
ensures that new tags get processed (and therefore written).