Merge branch 'lt/push-config'

* lt/push-config:
git push: add verbose flag and allow overriding of default target repository
Allow '-' in config variable names

diff --cc builtin-push.c
Simple merge