if (labels.includes("filetype")) {
    reviewers.add("clason");
    reviewers.add("gpanders");
    reviewers.add("smjonas");
  }