Fix behaviour of --repo option to git push