Skip to content

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

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

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