Skip to content

dev to main: ci: open and update dev-to-main PR automatically via low-privilege app (+1 more) - #18

Merged
patrick-main-promotion-bot[bot] merged 2 commits into
mainfrom
dev
Oct 5, 2026
Merged

dev to main: ci: open and update dev-to-main PR automatically via low-privilege app (+1 more)#18
patrick-main-promotion-bot[bot] merged 2 commits into
mainfrom
dev

ci: open and update dev-to-main PR automatically via low-privilege app

389d566
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar