10 Jan
2011
10 Jan
'11
1:36 p.m.
On Mon, Jan 10, 2011 at 01:27:17PM +0000, Simon Marlow wrote:
I don't think the dependencies get very deep in most cases, and my impression is that we often don't want to pull the dependencies anyway, so darcs forces us to merge the patch manually (Ian would be able to say for sure how often this happens).
I'm not sure OTTOMH, but I think that it's more common that another patch gets pulled in than a manual merge is done. Other patches are generally comment changes, whitespace fixes, or things like build system tweaks that weren't worth merging for the sake of it. Thanks Ian