Update username
in connecting to a workspace documenation (using JetBrains Gateway)#3746
Merged
ammario merged 2 commits intocoder:mainfrom Aug 30, 2022
matifali:patch-2
Merged
Update `username` in connecting to a workspace documenation (using JetBrains Gateway)#3746ammario merged 2 commits intocoder:mainfrom matifali:patch-2
ammario merged 2 commits intocoder:mainfrom
matifali:patch-2
Commits
Commits on Aug 30, 2022
- authored