Merge "Disable git tagging during Jenkins git clone"