On Wed, Dec 20, 2017 at 12:43:37PM +0100, Josef Wolf wrote: > Thanks to you both for your patience with me. Sorry for the late reply, my day > job was needing me ;-) > > On Fri, Dec 15, 2017 at 07:58:14PM +0100, Igor Djordjevic wrote: > > On 15/12/2017 17:33, Junio C Hamano wrote: > > > > > > $ git fetch <remote> <branch> > > > $ git checkout -m -B <master> FETCH_HEAD > > For some reason, this seems to double the local modifications. After executing > the following commands:
Umm... Please ignore this "doubling" comment. My test script was faulty :-// Sorry for the confusion! -- Josef Wolf j...@raven.inka.de
