如何根据 SSH 密钥将用户添加为开发人员?

How to add user as developer based on SSH key?

我正在使用 gitlab,我需要将用户添加到 gitlab 中的项目。为此,我单击“设置”,然后单击“成员”。出现一个表单,我需要在其中搜索人员并定义项目访问权限。项目访问将是开发人员,这样就可以了。但是,此人不是 GitLab 用户。有什么方法可以让我将他添加到项目中而不要求他注册到 gitlab?如果我可以使用 git bash 命令来完成,那也很好。我有他的 GitHub 用户名和 public SSH 密钥。

现在拥有 GitLab 用户帐户是对存储库进行写入访问的先决条件(github 可以选择读写部署密钥,但是,gitlab 只有只读部署密钥 ATM)。但是没有用户,gitlab 怎么知道权限级别呢?这都是使用 gitlab 中的用户管理的。