diff options
author | Ronald G. Minnich <rminnich@gmail.com> | 2013-01-03 08:26:09 -0800 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2013-01-03 19:32:29 +0100 |
commit | 64b364d1ec85f97fe948ba41cf8e7a3f43503829 (patch) | |
tree | adb5028d0218029a9dc9d5d89b288d6b494b0591 /src/arch/x86/Makefile.inc | |
parent | ec8d35fe911ab35a5f40fd5b452f5463857b244a (diff) |
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>
Diffstat (limited to 'src/arch/x86/Makefile.inc')
0 files changed, 0 insertions, 0 deletions