> Ok, I know git pretty well but, this makes no sense to me, what does "but pull" mean when I see no updated source code?
Ooops, sorry, I pushed not to "master", but to a branch called "less-files". I just merged that branch into master, so you should now see the updated sources there. -Frank-
