role="button"

  class="issue-teaser"

  class:selected

  onclick={() => {

    void push({ resource: "repo.issue", rid, issue: issue.id, status });

  }}>

    <div

      class="global-counter status"

      style:color={issueStatusColor[issue.state.status]}

  role="button"

  class:selected

  class="patch-teaser"

  onclick={() => {

    if (loadPatch) {

      loadPatch(rid, patch.id);

      void push({ resource: "repo.patch", rid, patch: patch.id, status });

    }

  }}>

    <div

      class="global-counter status"

      style:color={patchStatusColor[patch.state.status]}