Skip to content

馃敡 Rename maintenance label to configuration - #28

Merged
rickyheijnen merged 1 commit into
mainfrom
rename-maintenance-label
Aug 16, 2026
Merged

rickyheijnen merged 1 commit into
mainfrom
rename-maintenance-label

Conversation

@rickyheijnen

Copy link
Copy Markdown
Member

馃攷 Samenvatting

Deze PR hernoemt het type-label maintenance naar configuration, zodat de naam beter aansluit bij configuratie- en codebase-health werk. De oude naam blijft als alias staan, zodat bestaande issues en PR's automatisch meegaan.

@rickyheijnen rickyheijnen self-assigned this Aug 16, 2026
@rickyheijnen rickyheijnen added the type: 馃敡 maintenance General maintenance and codebase health label Aug 16, 2026
@rickyheijnen
rickyheijnen force-pushed the rename-maintenance-label branch from e56e10b to 9aa1edb Compare August 16, 2026 10:27
@rickyheijnen
rickyheijnen merged commit 3ca18d9 into main Aug 16, 2026
2 checks passed
@rickyheijnen
rickyheijnen deleted the rename-maintenance-label branch August 16, 2026 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: 馃敡 maintenance General maintenance and codebase health

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant