code: public function pushTag(string $tag, string $repository = 'origin', array $options = []): string
      {
          return $this->push($repository, 'tag', $tag, $options);
      }
docs: This is synonymous with `git push origin tag v1.2.3`.
  
  @param string $repository The destination of the push operation, which is either a URL or name of
  the remote. Defaults to "origin".
  @param mixed[] $options