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