push: do not give big warning when no preference is configured
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 Jul 2009 00:19:47 +0000 (17:19 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 Jul 2009 00:20:52 +0000 (17:20 -0700)
commitbba0fd2...ad654460a81c4b35462b600d9432a869
treef05a76c...f82b6947704b85ed4a4e9c9e879fd9d6copy hash to clipboard (tree)
parentd5cee0f...8654357965cb88c4e6d3cfa272d9ae28copy hash to clipboard (diff)
builtin-push.c
cache.h
environment.c