I'm not part of the development team; however, my thoughts: Command-line wise from the LyX directory, check your settings to make sure they are to the right place with with
git remote -v Once satisfied (and with any of your changes stashed or committed), try git checkout master git fetch git merge -or- git checkout master git pull - Joel On Fri, Oct 14, 2016 at 3:47 AM, racoon <xraco...@gmx.de> wrote: > Hi, > > How do I update my local copy to the current master? > > In git gui I tried > > Fetch from > origin > > But this seems not to work. I can now type any git command line commands > using > > Repository > Git Bash > > So I am even happy about command line commands on how to update to the > current master. > > Daniel > >