Mogelijkheid om obsolete of verkeerde publicatiepunten te verwijderen - Githubissues

Informatievlaanderen / OSLO-toolchain

2 stars 0 forks source link

Mogelijkheid om obsolete of verkeerde publicatiepunten te verwijderen #70

Open mvanbrab opened 4 years ago

mvanbrab commented 4 years ago

Link naar een voorbeeld waarop het voorstel van toepassing is Dit is een obsolete (tijdelijk) publicatiepunt: https://test.data.vlaanderen.be/doc/applicatieprofiel/cultureel-erfgoed/ontwerpstandaard/master. Dit is een verkeerd publicatiepunt (de datum had anders moeten zijn): https://test.data.vlaanderen.be/doc/applicatieprofiel/cultureel-erfgoed-object/ontwerpstandaard/2020-06-02.

Huidige toestand Om deze publicatiepunten te laten verdwijnen, moet je

OSLO-Generated clonen (juiste branch) of clone updaten
kijken of de toolchain niet aan het werk is (circleci)
manueel een git rm -r doen op de directories (2 stuks: één onder doc en een onder report)
manueel git commit + git push

Voorstel In publication.json een directive "delete": "true" ondersteunen die dit automatisch doet.

bertvannuffelen commented 3 years ago

Compare the publication.json urls with the paths in the OSLO-Generated repository. If the url is not listed in the publication.json then the path can be removed from the generated repository.