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 <rminnich@gmail.com> Reviewed-on: http://review.coreboot.org/2096 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
This commit is contained in:
parent
ec8d35fe91
commit
64b364d1ec
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue