Repository navigation

chore(ci): remove unused GitHub App Bot PR workflow from main - #1535

Closed

1lck wants to merge 1 commit into

mainfrom

codex/remove-bot-pr-workflow-main

Closed

chore(ci): remove unused GitHub App Bot PR workflow from main#1535
1lck wants to merge 1 commit into
mainfrom
codex/remove-bot-pr-workflow-main

Commits on Oct 27, 2026
- chore(ci): remove unused Bot PR workflow from main
  1lck
  committed
  5e870f8