Merge "Set the correct Jenkins user as Git email"