Repository navigation

ci: no CI on pushes to feature/**, where Jules branches live - #12441

Merged

MarkusNeusinger merged 4 commits into

mainfrom

fix/ci-no-feature-push

Oct 29, 2026

Merged

ci: no CI on pushes to feature/**, where Jules branches live#12441
MarkusNeusinger merged 4 commits into
mainfrom
fix/ci-no-feature-push

Commits on Oct 29, 2026
- ci: no CI on pushes to feature/**, Jules's own branches live there
  
  MarkusNeusinger
  and
  claude
  committed
  94034ec
- ci: e2e never runs for a PR into a feature branch; fix stale comment
  
  MarkusNeusinger
  and
  claude
  committed
  4757c6a
- docs(changelog): reference #12441
  
  MarkusNeusinger
  and
  claude
  committed
  ef5303d
- ci: refuse merge queues into feature branches; sync copilot-instructions
  
  MarkusNeusinger
  and
  claude
  committed
  70bfe1d