More git weirdness

Andrew Haley aph at
Tue Jan 24 16:51:50 UTC 2017

On 24/01/17 16:45, Doug Simon wrote:
> I think you need to push with ssh URLs (e.g., ssh://

Ah, right, so I can pull from my private dir with a username
and a password, but not push.  OK.



More information about the graal-dev mailing list