Skip to content

Conversation

@afuchs-geosphereat
Copy link
Member

Ref #57

@afuchs-geosphereat afuchs-geosphereat added the PR-Sync-Merge Merges the PR by creating an internal PR from the GitHub PR branch head to the internal remote, alig label Jul 31, 2025
@fpechstein-geosphereat fpechstein-geosphereat merged commit 8982138 into main Aug 4, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR-Sync-Merge Merges the PR by creating an internal PR from the GitHub PR branch head to the internal remote, alig

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Announcement: End of redirects from *.hub.zamg.ac.at to *.hub.geosphere.at at the end of 2025

3 participants