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

868 get_workspace_map_file #924

Merged
merged 14 commits into from
Sep 19, 2023
Merged

868 get_workspace_map_file #924

merged 14 commits into from
Sep 19, 2023

Conversation

jirik
Copy link
Member

@jirik jirik commented Sep 15, 2023

Part of issue #868

  • Tests
  • Layman Test Client (including docker image at docker hub)
  • Changelog
  • Documentation
  • Add dependency to doc/dependencies.md
  • Push docker image(s) to docker hub

@jirik jirik added this to the Release v1.22 milestone Sep 15, 2023
@jirik jirik force-pushed the 868-get_workspace_map_file branch from 090c850 to 5afedb3 Compare September 19, 2023 06:46
@jirik jirik marked this pull request as ready for review September 19, 2023 06:50
@jirik jirik enabled auto-merge (rebase) September 19, 2023 06:50
@jirik jirik requested a review from index-git September 19, 2023 06:50
@jirik jirik force-pushed the 868-get_workspace_map_file branch from 5afedb3 to cb04fc1 Compare September 19, 2023 09:56
@jirik jirik force-pushed the 868-get_workspace_map_file branch from cb04fc1 to 989b8f1 Compare September 19, 2023 09:57
doc/client-proxy.md Show resolved Hide resolved
@jirik jirik force-pushed the 868-get_workspace_map_file branch from 989b8f1 to 1b49341 Compare September 19, 2023 10:19
@jirik jirik merged commit 8156dfc into master Sep 19, 2023
10 checks passed
@jirik jirik deleted the 868-get_workspace_map_file branch September 19, 2023 10:58
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