Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added deegree-ogcapi-schema, Deploy deegree-ogcapi-schema and deegree-ogcapi-documentation #97

Merged
merged 2 commits into from
Dec 1, 2023

Conversation

lgoltz
Copy link
Contributor

@lgoltz lgoltz commented May 11, 2023

This PR adds a new module deegree-ogcapi-schema to collection schema file and enhanced the jenkinsfile to deploy schema files and documentation.

Relates to #19 and #20

… schema files, deploy schema files and documentation
@lgoltz lgoltz added the enhancement Improvement of existing feature or function label May 12, 2023
@tfr42 tfr42 added the needs rebase PR is not up to date and needs rebase label Nov 15, 2023
@lgoltz lgoltz removed the needs rebase PR is not up to date and needs rebase label Dec 1, 2023
@tfr42 tfr42 added this to the 1.3.0 milestone Dec 1, 2023
Copy link
Member

@stephanr stephanr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@stephanr stephanr merged commit cc10509 into deegree:main Dec 1, 2023
1 check was pending
@tfr42 tfr42 deleted the publishSchemaAndDocumentation-19-20 branch December 1, 2023 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Improvement of existing feature or function
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants