Git bash询问SSH密钥，我忘了

Question

我试着用Git Bash的命令leanproject get mathematics_in_lean安装一些东西，但是我得到的提示是Please provide password for encrypted SSH private key:我不记得做过这个的SSH-key (尽管这并不意味着我从来没有做过)，并且密码不是我的GitHub用户的密码。我已经通知了一个精益平台，他们告诉我这更像是Git的事情，而不是精益的事情。有谁知道如何找回密码或类似的东西吗？

Answer 1

检索密码是不可能的，这就是(使用密码短语的SSH-key)的想法

但是因为您说您不记得做过那件事；那么可能远程存储库被定义为git@github.com:username/reponame，所以它将尝试您已有的可用的SSH键。一种可能的解决方案是将其修改为https

例如，对于这样的遥控器：

$ git remote -v
  origin git@github.com:username/reponame.git (fetch)
  origin git@github.com:username/reponame.git (push)

您可以执行以下操作将其转换为https：

$ git remote set-url origin https://github.com/username/reponame.git

此后，任何获取、拉入或推送操作都不需要SSH

或

您可以在github https://github.com/settings/keys中重置您的SSH密钥