Github Pull Vs Merge