From: Jonathan Nieder <jrnieder@gmail.com>
Date: Thu, 10 Jan 2019 21:30:36 GMT
Subject: Re: Introducing OneDev - an open source git server with interesting features
Message-ID: <20190110213036.GC17382@google.com>
In-Reply-To: <SG2PR04MB320586447FF738E008C373FFB9840@SG2PR04MB3205.apcprd04.prod.outlook.com>

Robin Shen wrote:

> Yes it is using JGit for most operations. JGit API is very well
> designed and is a joy to use. The performance is very good, except
> for long operations such as full clone. So for pull/push I am
> calling native git, but for other operations which may need to be
> executed several times during a request I am using JGit which is
> much faster thanks for the in-process cache.
>
> I also filed several suggestions/bugs while using JGit:
>
> https://bugs.eclipse.org/bugs/buglist.cgi?email1=robin%40pmease.com&emailreporter1=1&emailtype1=substring&product=JGit&query_format=advanced

Thanks, that's very helpful.

[...]
> As to compared to other software listed here, I am only used GitHub
> intensively, so can not provide any valuable information.

No worries.  Thanks for indulging my questions. :)

Jonathan