Jenkins Git plugin tagging with mono-4.0.4.1