lucene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Robert Muir <>
Subject Re: Source Control
Date Fri, 26 Oct 2012 23:10:44 GMT
On Fri, Oct 26, 2012 at 7:02 PM, Mark Miller <> wrote:
> So, it's not everyone's favorite tool, but it sure seems to be the most popular tool.

My main question is, is it really git thats popular, or github?

if git would really bring in more contributions, we should do it. But
would it do that without github, or just make things more complex?

It has such a crappy commandline that is the "price" for using it, and
if that buys us nothing, it would be a waste of effort :)

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message