Make 'git pull' actually work