Skip to content

fix(review): skip open-PR refresh for uninstalled registry repos in the regate sweep - #3797

Merged
JSONbored merged 1 commit into
mainfrom
fix/regate-sweep-no-installation-budget-waste
Jul 6, 2026
Merged

fix(review): skip open-PR refresh for uninstalled registry repos in the regate sweep#3797
JSONbored merged 1 commit into
mainfrom
fix/regate-sweep-no-installation-budget-waste

fix(review): skip open-PR refresh for registered-but-uninstalled repo…

0ecca46
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar