on a server, I want to have several git repositories. I want different users (=different SSH keys) to have access to different repositories (think of GitHub).
I know I can add a user's SSH key to authorized_keys on the server. But that would give the user access to all repos.
How can I set this up correctly? How does GitHub do it?