Option to download files from the Dashboard, from Workspace option.
Right now I cannot to access my Workspace which contains many code files and I am locked out due to some error. we can avoid this by allowing users to download all of the contents that are in the workspace like how "Gitpod" handles, directly allowing them to download the files by adding additional "Download" option in the workspace option. even if there are now virtual machines are available users would be able to access their files.
1
vote
Binod Malla
shared this idea