Repository navigation

feat(github): decide whose PR feedback wakes agents with ordered rules - #1746

Draft

johnmatthewtennant wants to merge 9 commits into

mainfrom

jtennant/poppy/github-author-allowlist

Draft

feat(github): decide whose PR feedback wakes agents with ordered rules#1746
johnmatthewtennant wants to merge 9 commits into
mainfrom
jtennant/poppy/github-author-allowlist

Commits on Oct 29, 2026
- feat(github): limit whose PR feedback wakes agents
  
  committed
  e7b4685
- fix(github): keep membership lookups from holding feedback forever
  
  committed
  7499e79
- test(settings): expect the GitHub comment authors card
  
  committed
  7c7a00b
- feat(github): decide PR feedback by ordered allow and deny rules
  
  committed
  d2679bc
- refactor(github): drop converting saved author lists to rules
  
  committed
  6cb467e
- fix(github): judge waiting feedback by current rules and fresh membership
  
  committed
  4185e8f
- style(github): lay out the comment author rules as a Settings form
  
  committed
  a8b9a93
- fix(github): hold waiting feedback whose author it cannot check
  
  committed
  2c7383e
- feat(github): choose what feedback no rule matches gets
  
  committed
  8a94533