Am Mon, 18 Dec 2017 17:28:03 +0100 schrieb Marco Wahl <marcowahls...@gmail.com>:
> Jack Kamm <jackk...@gmail.com> writes: > > > I'm having the same issue as Josiah, are others able to pull from > > the git repo? > > git pull works for me. not for me, since nearly a week now different machines, home and work > > Maybe the following questions lead to a better understanding. > > What about performing a plain > > git pull > > instead of make update? > > What about a fresh git clone? > doesn't work neither, sorry Detlef > > HTH > > >