Add PSBP (old name: PDBP) to community build

[abgruszecki]

@psbp-library thanks for reaching out to (re)include your project in the community build, here's the PR.

[abgruszecki]

@OlivierBlanvillain for some reason, cloning the new repo fails with:

Cloning into '/__w/dotty/dotty/community-build/community-projects/psbp'...
Host key verification failed.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:PSBP-Library/psbp-library.github.io.git' into submodule path '/__w/dotty/dotty/community-build/community-projects/psbp' failed
Failed to clone 'community-build/community-projects/psbp' a second time, aborting

This is despite the repo being public. I can clone it locally no problem. Do you have an idea what could be going on?

[OlivierBlanvillain]

I think we should keep pointing to our fork, but I didn't follow the latest community build changes...
wdyt @anatoliykmetyuk?

[anatoliykmetyuk]

Yes, that’s right. I created a fork: https://github.com/dotty-staging/psbp-library.github.io
And invited @PSBP-Library there. Please point to this repo.

[OlivierBlanvillain]

This is despite the repo being public. I can clone it locally no problem. Do you have an idea what could be going on?

That's weird, could it related to using https instead of git for the submodule?

[abgruszecki]

This is despite the repo being public. I can clone it locally no problem. Do you have an idea what could be going on?

That's weird, could it related to using https instead of git for the submodule?

Yep, that was the case. @griggt showed me how to fix it (thanks!).