Repository navigation

autodev: conditional GitHub requests (ETags) when polling PRs (#26) - #32

Merged

krokicki merged 2 commits into

mainfrom

autodev-rokickik/issue-26

Oct 13, 2026

Merged

autodev: conditional GitHub requests (ETags) when polling PRs (#26)#32
krokicki merged 2 commits into
mainfrom
autodev-rokickik/issue-26

Commits on Oct 10, 2026
- autodev: conditional GitHub requests (ETags) for per-poll PR reads
  
  autodev
  and
  claude
  committed
  08e1417
Commits on Oct 13, 2026
- Merge main into the ETag branch; port conditional GETs to autodev/github.py
  
  krokicki
  and
  claude
  committed
  5d2ec73