Repository navigation

Update conflicting PR label workflow - #2192

Merged

Vincent Biret (baywet) merged 7 commits into

mainfrom

Sep 23, 2026

Merged

Update conflicting PR label workflow#2192
Vincent Biret (baywet) merged 7 commits into
mainfrom
ci/update-task

Commits on Sep 23, 2026
- Update conflicting PR label workflow
  
  Vincent Biret (baywet)
  and
  Copilot
  committed
  62273af
- Check conflicts when pull requests open
  Vincent Biret (baywet)
  committed
  0a7381f
- Check conflicts when pull requests reopen
  Vincent Biret (baywet)
  committed
  87a96f2
- Normalize conflicting PR workflow indentation
  
  Vincent Biret (baywet)
  and
  Copilot
  committed
  5fae0b2
- chore: removes unnecessary condition
  
  Vincent Biret (baywet)
  and
  Copilot
  committed
  c72aabd
- chore: linting
  
  Vincent Biret (baywet)
  and
  Copilot
  committed
  aa797c6
- ci: Rename job to label merge conflicts in workflow
  
  Vincent Biret (baywet)
  and
  Copilot
  committed
  e582e91