title: "git push" and "git push --tags" in the same command?
body: <p>I usually run:</p>
  <pre><code>git push
  git tag v4.7
  git push --tags
  </code></pre>
  <p>Both the first and third operations connect to the server, which wastes time.<br />
  I want to make it faster by pushing only once. What command(s) would achieve this?<br />
  It is in a bash <a href="https://github.com/ankidroid/Anki-Android/blob/v2.0.2-dev/tools/release.sh#L45" rel="noreferrer">script</a>, and needs to run fine in any branch, not just <code>master</code>.</p>
  <p>Reading the manual, I don't think <code>git push all</code> is the solution:</p>
  <blockquote>
  <p>--all: Instead of naming each ref to push, specifies that all refs under refs/heads/ be pushed.</p>
  <p>--tags: All refs under refs/tags are pushed, in addition to refspecs explicitly listed on the command line.</p>
  </blockquote>