Skip to content

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

Merge main into the ETag branch; port conditional GETs to autodev/git…

5d2ec73
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar