git push: say that --tag can't be used with --all or --mirror in help text