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

workspaces: allow adding a region name in the config #955

Merged

Conversation

pvbouwel
Copy link
Contributor

This does not perform a functional change yet but it does alow specifying a region name as part of the workspace config. That way configs can be updated after this version is life and subsequently a change can be deployed that depends on the region being defined.

Copy link
Collaborator

@bossie bossie left a comment

Choose a reason for hiding this comment

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

OK implementation-wise. Please add an entry to the CHANGELOG.

@pvbouwel pvbouwel force-pushed the workspaces/allow_specifying_region branch from f8656a7 to 4cdbc1a Compare December 3, 2024 08:35
This does not perform a functional change yet but it does alow specifying a region name as part of the workspace config. That way configs can be updated after this version is life and subsequently a change can be deployed that depends on the region being defined.
@pvbouwel pvbouwel force-pushed the workspaces/allow_specifying_region branch from 4cdbc1a to 6d30344 Compare December 3, 2024 08:42
@pvbouwel pvbouwel merged commit ed9338a into Open-EO:master Dec 3, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants