Merge "Remove unneeded Jenkins jobs"