Skip to content

feat(web): make auto-create PR on push optional#2524

Open
imabdulazeez wants to merge 4 commits intopingdotgg:mainfrom
imabdulazeez:feat/toggle-auto-pr-creation
Open

feat(web): make auto-create PR on push optional#2524
imabdulazeez wants to merge 4 commits intopingdotgg:mainfrom
imabdulazeez:feat/toggle-auto-pr-creation

Commits

Commits on May 5, 2026

Commits on May 6, 2026