Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > David Kastrup wrote: > >> The default behavior of "git push". > > This is a minor change that not many people would notice, and it has not > actually happend. But fine, let's count it as one. Shrug. Your diatribe is to a good part about the default behavior of "git pull". The "minor" change affects multiple branches in upstream, while your "important change" affects a single local branch. With that sort of bias, it's easy to convince yourself of anything. -- David Kastrup -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html