2017-11-09 - releng
12:52 <hashar> Jenkins: fixed/changed the global git user.name / user.email (now: "Wikimedia CI" and "releng@lists.wikimedia.org" ) [releng]