Thanks Ori! I pulled it down today and started using it against a few GitHub repos I have. For those who are thinking about using it, it only uses 'git' and 'git+ssh' style URLs, but they work so far without incident.
git/clone git+ssh://g...@github.com:tmendoza/9front-user Once I got keys generated and pushed to github.com, worked just fine. My updates show up as expected. Great job! Tony On 7/12/2019 at 3:22 PM, "Steve Simon" <st...@quintile.net> wrote: > >I agree 100%, well done Ori, I will be trying this soon, >I am in the process of changing jobs at the moment so >I am a bit distracted but the new job will include git so I >Will be needing it. > >-Steve > > >> On 12 Jul 2019, at 19:27, Patrick Marchand ><m...@patrickmarchand.com> wrote: >> >> Hi Ori, >> >> On 07/08, Ori Bernstein wrote: >>> On Mon, 1 Apr 2019 21:41:09 -0700 >>> o...@eigenstate.org wrote: >>> >>>> It was mentioned on this list a short while ago. Now, it's >>>> more or less at the point where it works for me. Expect >>>> many bugs and problems, and many more missing tools, but >>>> "the rest is just scripting". >>> >>> An update: I'm now using this git implementation on a daily >>> basis. It's hosting its own development now, and tons of >>> bugs have been fixed. >>> >> >> Good job ! Cant wait to get the chance to play around with it. >I'll >> be installing a plan9 server at my home next month so I'll be >able >> to test in detail then. >> >> Have a good day
