Beheer: verplaats linter configuratie#307
Conversation
Hiermee bereiken we twee doelen: 1. De naamgeving is niet gelimiteerd aan Spectral, omdat ook andere tooling deze configuratie kan gebruiken 2. Omdat het nu in `media/` staat, publiceren we deze configuratie nu ook op een aparte plek. Hierdoor is het mogelijk om voor andere tooling om automatisch het bestand te pakken, in plaats van die uit een bijlage van het standaarddocument te halen Uiteindelijk zorgen we ervoor dat tooling zoals developer.overheid.nl nu naar deze configuratie kunnen verwijzen en ook automatisch up-to-date zijn met wijzigingen die we aanbrengen.
TimvdLippe
force-pushed
the
verplaats-linter-configuratie
branch
from
a074c55 to
25a7e4c
Compare
|
@dvh als we dit zouden mergen, dan zou de configuratie staan op https://gitdocumentatie.logius.nl/publicatie/api/adr/2.1.0/media/linter.yml en kunnen jullie die gebruiken in jullie tooling API. |
|
Zou dit automatisch gepubliceerd moeten worden? Want ik krijg hier nog een 404: https://gitdocumentatie.logius.nl/publicatie/api/adr/2.1.0/media/linter.yml |
|
Het zou automatisch moeten gaan, maar we hebben synchronisatie problemen. We proberen dat op te lossen, geen idee wanneer ons dat gaat lukken. |
|
Overigens wordt de uiteindelijke URL waarschijnlijk https://gitdocumentatie.logius.nl/publicatie/api/adr/2.1.0/media/linter.yaml (dus |
|
https://gitdocumentatie.logius.nl/publicatie/api/adr/2.1.0/media/linter.yaml is nu wel beschikbaar |
3 participants
Hiermee bereiken we twee doelen:
media/staat, publiceren we deze configuratie nu ook op een aparte plek. Hierdoor is het mogelijk om voor andere tooling om automatisch het bestand te pakken, in plaats van die uit een bijlage van het standaarddocument te halenUiteindelijk zorgen we ervoor dat tooling zoals developer.overheid.nl nu naar deze configuratie kunnen verwijzen en ook automatisch up-to-date zijn met wijzigingen die we aanbrengen.
Fixes #254