* Meanwhile a coworker changed that Micheal file in the develop branch
* If you try to push your changes to that file into develop, you'll encounter a merge conflict, the system cannot know which change is now the one to keep.
* If you try to push your changes to that file into develop, you'll encounter a merge conflict,
the system cannot know which change is now the one to keep.
* Usually done using `git diff` in bigger project this method quickly loses oversight