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

Stephan Bergmann sbergman at
Mon Sep 18 11:19:17 UTC 2017

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!

More information about the LibreOffice mailing list