Code

git push: add verbose flag and allow overriding of default target repository