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 tools.
-- / daniel.haxx.se ------------------------------------------------------------------- List admin: http://cool.haxx.se/list/listinfo/curl-library Etiquette: http://curl.haxx.se/mail/etiquette.html
