我有一个域名,那个域名从2011年起就是我的了。
但当我买下它时,我注意到我收到的电子邮件中有一位以前的主人。我找回了他的谷歌账户,在他的"Orkut/ Google +“上给自己留了条信息,要求他把他的电子邮件地址从我的域名转到其他地方。然而到了今天,这个家伙仍然在我的域名下有账户,几个小时前他重新找回了他的</em
我试着用Git Bash的命令leanproject get mathematics_in_lean安装一些东西,但是我得到的提示是Please provide password for encryptedSSH private key:我不记得做过这个的SSH-key (尽管这并不意味着我从来没有做过),并且密码不是我的GitHub用户的密码。我已经通知了一个精益平台,他们告诉我这更像是Git的事情,而不是精益的事