Skip to content

Update map get, patch, delete requests to use UUID instead of workspace/name.#115

Merged
honza2 merged 1 commit intomasterfrom
update-map-workspace-endpoint-uuid
Sep 10, 2025
Merged

Update map get, patch, delete requests to use UUID instead of workspace/name.#115
honza2 merged 1 commit intomasterfrom
update-map-workspace-endpoint-uuid

Conversation

@honza2
Copy link
Copy Markdown
Collaborator

@honza2 honza2 commented Aug 25, 2025

…ce/name.

@honza2 honza2 self-assigned this Aug 25, 2025
@honza2 honza2 changed the title Update map get, patch, delete requests to use UUID instead of workspa… Update map get, patch, delete requests to use UUID instead of workspace/name. Aug 25, 2025
@honza2 honza2 requested review from index-git and jirik September 10, 2025 13:28
@honza2 honza2 marked this pull request as ready for review September 10, 2025 13:38
@honza2 honza2 merged commit 10362bf into master Sep 10, 2025
1 check passed
@honza2 honza2 deleted the update-map-workspace-endpoint-uuid branch September 10, 2025 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jirik jirik jirik approved these changes

@index-git index-git index-git approved these changes

Assignees

@honza2 honza2

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@honza2 @jirik @index-git