I can confirm that its working for me. Here is my .ssh/config:

--- begin of snip ---
Host trac
   Hostname trac.sagemath.org 
   #IdentityFile ~/.ssh/id_rsa_git if you want to use non-default
   User git 
   Port 2222
--- end of snip ---

$ ssh trac help
hello vbraun, this is gitolite3 (unknown) on git 1.7.9.5

list of remote commands available:

desc
help
info
perms
writable



On Thursday, July 18, 2013 9:03:43 AM UTC-4, R. Andrew Ohana wrote:
>
> Ok, this should be fixed now. Gitolite would fail midway through updating 
> everything if there was even a single malformed public key -- I patched it 
> to not be so stupid.
>
>  

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to