GitHub GitLab sync

Cursor’s Bugbot belongs before the push, not in the PR

Cursor’s June update makes Bugbot a pre-push gate, and that is the right place for it.