Repository navigation

Contributor mode: user token + notifications poller (#5) - #6

Open

The-Glassy wants to merge 10 commits into

anima-research:mainfrom

The-Glassy:contributor-mode

Open

Contributor mode: user token + notifications poller (#5)#6
The-Glassy wants to merge 10 commits into
anima-research:mainfrom
The-Glassy:contributor-mode

Commits on Oct 17, 2026
Commits on Oct 18, 2026
- Contributor mode: rework how the notifications poller reads, keeps its place and fails
  Esther-2584
  committed
  f0daf7a
- Contributor mode: read reviews from their last page, keep each cursor's edge, tag polled merges, drop the head read and the second recipe
  Esther-2584
  committed
  55c024e
Commits on Oct 20, 2026
- Contributor mode: deliver review requests, look up checks on the user's own pull requests, default GITHUB_BOT_LOGIN to the token's login
  
  The-Glassy
  authored and
  Glassy
  committed
  5c80bc6
- Contributor mode: look up a settled head's checks again only when it moves, and fix the reviews cap at a later boundary
  Esther-2584
  committed
  b682a6f
- Contributor mode: leave a head's checks only once every run finished, or it has none
  Esther-2584
  committed
  a3e9640
- README: say a pass looks up 20 heads' checks in turns
  Esther-2584
  committed
  8b11949
- Contributor mode: say when a head's checks are left alone, and test the flag that decides it
  Esther-2584
  committed
  23e3c56