Disable git tagging during Jenkins git clone