Re: Which git for developing patch?