管理员应能够禁用从工作区下载文件

有些公司觉得用户无法从 Gitpod 工作空间将源代码下载到本地机器时更加放心。我一直在听到这个请求，因此我正在提交此问题，以便我们可以讨论是否需要此功能。