getting new projects

Stream: new members

[ZainAK283]

(deleted)

[ZainAK283]

Hi all,

I'm trying to follow the instructions to get new projects from https://leanprover-community.github.io/install/project.html, but I get this pop-up Screenshot-2023-01-18-122301.png.
Any help would be appreciated :)

[Kevin Buzzard]

click "OK". This should not cause any problems.

[ZainAK283]

Do I have to do this every time I try to get a new project?

[Kevin Buzzard]

You can read up about how to authenticate yourself to github, but in practice how many projects are you going to download? Just to be clear, this is not a lean issue, this is a github issue (see e.g. here)

[Mauricio Collares]

This is a TOFU prompt, so you only get it once per host (i.e., you will never see this prompt cloning from GitHub ever again).

[ZainAK283]

Okay, thank you both