Re: [python-committers] Do people prefer pushing feature repos or one massive patch?