My user repos are not accessible via SSH
Trying to push a branch to my user repos or to retrieve them via SSH results in
Permission denied (publickey). fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists.
The repositories exist. Thus, it seems my public key is not available to access them or some permissions are missing. Access to people.torproject.org via SSH works for me.