Skip to content

fix(server): skip PR polling for unknown providers - #9212

Open
c8dhjp4tyv-bit wants to merge 17 commits into
pingdotgg:mainfrom
c8dhjp4tyv-bit:fix/unknown-provider-pr-polling
Open

c8dhjp4tyv-bit wants to merge 17 commits into
pingdotgg:mainfrom
c8dhjp4tyv-bit:fix/unknown-provider-pr-polling

Commits

  1. Commits on Sep 2, 2026

  2. Commits on Sep 11, 2026

  3. Commits on Oct 1, 2026