Git help needed: update local repo to specific branch or tag

[Stephan Bergmann]

On 09/18/2017 11:20 AM, Miklos Vajna wrote:
> Depending on 'git remote add' was invoked with the --mirror=fetch
> option (either directly or via 'git clone --mirror') .git/config
> contains something like:

Excellent.  Thanks!