Disable git tagging during Jenkins git clone

No match.