search

opengeospatial / CoverageJSON

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

Remove generated files #85

Closed letmaik closed 2 years ago

letmaik commented 2 years ago

https://github.com/opengeospatial/CoverageJSON/pull/79 has introduced a lot of generated files by accident. This PR removes those and others that had already been there.

cc @ghobona I'm not sure if you wanted to do the cleanup yourself, but I just went ahead now, hope that's ok.

ghobona commented 2 years ago

@letmaik Yes, that's ok. Thanks.

chris-little commented 2 years ago

@letmaik Does this PR need re-basing now that all the others have been merged?

letmaik commented 2 years ago

Looks like there was another PR in the meantime that committed auto-generated files, hence the conflict. Let's see... https://github.com/opengeospatial/CoverageJSON/pull/95 Hm, that's unfortunate. Feel free to close this PR and open another one that removes the same files and updates .gitignore.

chris-little commented 2 years ago

@ghobona Are you happy with Maik's suggestion? I have no idea where these auto-generated files are coming from . Is it part of the Metanorma processes? Are the files actually needed?

chris-little commented 2 years ago

@letmaik Closing this PR without merging so @ghobona can remove the spurious files.