[gambit-list] [PATCH 3/6] makefile.in: in "pull" rule, use git remote update instead of pull