Snippet #898

Talk of changing Git's push.default default to "upstream" (from the current default of "matching"). Funnily enough, I set my own global push.default to "upstream" not that long ago.