From: Matthieu Moy Date: Thu, 25 Feb 2016 09:21:58 GMT Subject: [PATCH v2 0/2] Remove "push.default unset" warning Message-ID: <1456392120-16298-1-git-send-email-Matthieu.Moy@imag.fr> In-Reply-To: <000001530ea408ed-2b71a34a-32bb-434c-bba5-fdac28193e9c-000000@eu-west-1.amazonses.com> 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