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);
    }
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
This is synonymous with git push origin tag v1 . 2 . 3 .