message: Fix `filter-by-pr-status` when no PRs exist
diff: @@ -40,9 +40,13 @@ function populateDropDown({currentTarget}: Event): void {
  }
  }
  -function init(): void {
  +function init(): void | false {
  const reviewsFilter = select('.table-list-header-toggle > details:nth-last-child(3)')!;
  + if (!reviewsFilter) {
  + return false;
  + }
  +
  // Copy existing element and adapt its content
  const statusFilter = reviewsFilter.cloneNode(true) as HTMLDetailsElement;
  select('summary', statusFilter)!.textContent = 'Status\u00A0';
  