I usually run:

```
git push
git tag v4.7
git push --tags

```

Both the first and third operations connect to the server, which wastes time.  

I want to make it faster by pushing only once. What command(s) would achieve this?  

It is in a bash [script](https://github.com/ankidroid/Anki-Android/blob/v2.0.2-dev/tools/release.sh#L45), and needs to run fine in any branch, not just `master`.

Reading the manual, I don't think `git push all` is the solution:

> 
> --all: Instead of naming each ref to push, specifies that all refs under refs/heads/ be pushed.
> 
> 
> --tags: All refs under refs/tags are pushed, in addition to refspecs explicitly listed on the command line.
> 
> 
>