On Fri, Oct 26, 2012 at 7:02 PM, Mark Miller <[email protected]> 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: [email protected] For additional commands, e-mail: [email protected]
