Differences between different git pull commands