How to specify which SSH key to use within git for git push in order to have gitorious as a mirror?
I have a project hosted on git.debian.org (alioth) and I'd like to configure a post-receive hook to update a mirror of the repository on http://gitorious.org I suppose I'll have to use git push --mirror gitorious Now, I'll need to have Alioth authorized on gitorious for the push to succeed. How do I do that? I suppose I need to configure a user on gitorious and create a ssh key for it. And then when I do the git push in the post-receive hook, make sure this ssh key is used. I could use a ~/.ssh/config but the problem is that many users can push on alioth, and everyone would have to log in and