Skip to content

Beheer: merge main in develop#331

Merged
TimvdLippe merged 7 commits into
developfrom
merge-main
May 12, 2026
Merged

Beheer: merge main in develop#331
TimvdLippe merged 7 commits into
developfrom
merge-main

Conversation

@TimvdLippe
Copy link
Copy Markdown
Contributor

Dit zorgt ervoor dat alle commits die op main staan, ook weer netjes op develop terechtkomen.

TimvdLippe and others added 7 commits May 6, 2026 14:24
Co-authored-by: Alexander Green <alexander.green@logius.nl>
Hiermee zorgen we ervoor dat we enkel regels aanzetten die ook
relevant zijn voor de API Design Rules. Tevens zetten we die regels
op error in plaats van warning, omdat ze ook verplicht zijn. Als
laatste zorgt dit ervoor dat we ook netjes de publish OpenAPI
design rule kunnen linken aan regels.
Die is per abuis verwijderd in 616fe47
terwijl die er wel in had gemoeten.

Tevens fixt het een klein issue waar `openapi.yaml` niet goed
werden genegeerd, zoals we al deden voor `openapi.json`.
@TimvdLippe TimvdLippe requested a review from sanderke May 12, 2026 09:37
@TimvdLippe TimvdLippe changed the title Merge main in develop Beheer: merge main in develop May 12, 2026
@github-actions github-actions Bot added Status: In bewerking Het voorstel is in bewerking bij de beheerorganisatie. Overleg: TO-API Te agenderen voor het Technisch Overleg API and removed Status: In bewerking Het voorstel is in bewerking bij de beheerorganisatie. labels May 12, 2026
@TimvdLippe TimvdLippe removed the Overleg: TO-API Te agenderen voor het Technisch Overleg API label May 12, 2026
@github-actions
Copy link
Copy Markdown

@TimvdLippe TimvdLippe merged commit 8cd21d5 into develop May 12, 2026
17 of 18 checks passed
@TimvdLippe TimvdLippe deleted the merge-main branch May 12, 2026 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants