I made a colleague admin of a workspace, yet he cannot clone all repositories in that workspace. He could clone one of the repositories, but not another.
He has added an SSH key in the account and to ~/.ssh/config.
Anyone has an idea of what might be the reason and how to solve it?