Ignore Merges by Jenkins-Bot