After pulling my colleague's last few commits before pushing mine, my own changes were correctly merged however my colleagues' changes were overridden by my commits.
Why is this happening?
Note that I use standard Git CLI, he uses PHPstorm GUI. When this issue occurs, it is always his changes that get discarded, never mine.