Repository navigation

chore: drop CODEOWNERS and use master as the default branch - #1

Closed

KFilippopolitis wants to merge 3 commits into

Closed

chore: drop CODEOWNERS and use master as the default branch#1
KFilippopolitis wants to merge 3 commits into
masterfrom
main

Commits on Oct 13, 2026
- feat: examples moved from mip-jupyter workspace/examples
  
  KFilippopolitis
  and
  claude
  committed
  4c26957
- fix(ci): harden check tripwire and clarify its role in README
  
  KFilippopolitis
  and
  claude
  committed
  78c54f9
- chore: drop CODEOWNERS and use master as the default branch
  
  KFilippopolitis
  and
  claude
  committed
  f992c84