Smarter git-pull