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