search

opengeospatial / CoverageJSON

Public repo for CoverageJSON project
Apache License 2.0
10 stars 8 forks source link

Remove document subtype, add missing editor in front page, add CI #93

Closed letmaik closed 2 years ago

letmaik commented 2 years ago

This fixes #92. @ghobona Can you approve and merge?

letmaik commented 2 years ago

@chris-little This also adds my name in the cover page as editor, follow-up from https://github.com/opengeospatial/CoverageJSON/pull/82

letmaik commented 2 years ago

To avoid this happening in the future I also added Github Actions to run metanorma on every PR. See the check here.

letmaik commented 2 years ago

@chris-little Feel free to merge so that other PRs benefit from the metanorma check.