Repository navigation

ci: close issues on release and note fixes merged into develop - #187

Merged

MarTrepodi merged 3 commits into

ci/close-issues-on-release

Oct 13, 2026

Merged

ci: close issues on release and note fixes merged into develop#187
MarTrepodi merged 3 commits into
developfrom
ci/close-issues-on-release

Commits on Oct 13, 2026
- ci(release): restate closing keywords in the release PR
  
  MarTrepodi
  and
  claude
  committed
  ed7c473
- ci: comment on issues when their fix merges into develop
  
  MarTrepodi
  and
  claude
  committed
  c41eb8d
- ci: ignore fenced code indented inside list items
  
  MarTrepodi
  and
  claude
  committed
  82a42dc