src/GitWorkingCopy.php
public function pushTag(string $tag, string $repository = 'origin', array $options = []): string
    {
        return $this->push($repository, 'tag', $tag, $options);
    }
public function pushTag(string $tag, string $repository = 'origin', array $options = []): string
    {
        return $this->push($repository, 'tag', $tag, $options);
    }
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