Gitea sends action `synchronized` where GitHub sends `synchronize`, so pushes to a PR branch were filtered out as noise. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Gitea sends action `synchronized` where GitHub sends `synchronize`, so pushes to a PR branch were filtered out as noise. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>