Comment by hanniabu

If you're working with a group of people you should never git pull prior to a commit and always git push -f