From 64b364d1ec85f97fe948ba41cf8e7a3f43503829 Mon Sep 17 00:00:00 2001 From: "Ronald G. Minnich" Date: Thu, 3 Jan 2013 08:26:09 -0800 Subject: Add the push default to 'make gitconfig' It's too easy to forget this and it's kind of important, so Just Add It. Change-Id: Ic7ab7658425a98d5d435bfef46f89cc6a56c7284 Signed-off-by: Ronald G. Minnich Reviewed-on: http://review.coreboot.org/2096 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer --- Makefile.inc | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.inc') diff --git a/Makefile.inc b/Makefile.inc index b0a5341ddcba..a066e256e034 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -340,6 +340,7 @@ gitconfig: chmod +x .git/hooks/$$hook; \ fi; \ done + git config remote.origin.push HEAD:refs/for/master (git config --global user.name >/dev/null && git config --global user.email >/dev/null) || (printf 'Please configure your name and email in git:\n\n git config --global user.name "Your Name Comes Here"\n git config --global user.email your.email@example.com\n'; exit 1) crossgcc: clean-for-update -- cgit v1.2.3