cURL / Mailing Lists / curl-library / Single Mail


Re: making github a curl citizen, or curl a better githubber

From: Daniel Stenberg <>
Date: Sun, 1 Mar 2015 23:28:30 +0100 (CET)

On Thu, 26 Feb 2015, Kamil Dudka wrote:

>> I would prefer it if we don't merge them via Github

> I fully agree on this.

Me too. I prefer a neat linear history with commits formatted and cleaned up
to our standards so I will continue to advice against using github's merge

List admin:
Received on 2015-03-01