all-git-pull.make: Initial release.