Repository navigation

Rename release pipeline commit messages and PR title from chore to release - #241

Merged

AndreasIgel merged 1 commit into

mainfrom

feature/rename-release-pr

Aug 9, 2026

Merged

Rename release pipeline commit messages and PR title from chore to release#241
AndreasIgel merged 1 commit into
mainfrom
feature/rename-release-pr

Commits on Aug 9, 2026
- Rename release pipeline commit messages and PR title from chore to release
  
  AndreasIgel
  and
  devin-ai-integration[bot]
  committed
  76ea5e0