Junio and Peff both lean towards removing the message completely, and I think I'm convinced. We would have to do this in the future anyway. While we're there, improve the manual for git push as suggested by Philip Oakley. Matthieu Moy (2): push: remove "push.default is unset" warning message Documentation/git-push: document that 'simple' is the default Documentation/git-push.txt | 7 +++++++ builtin/push.c | 34 ---------------------------------- 2 files changed, 7 insertions(+), 34 deletions(-) -- 2.7.2.334.g35ed2ae.dirty -- 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