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