title: Pushed unupdated branch to master, how is that possible?
body: <p>Earlier this week I did some work, committed to my local master and pushed to remote master (on Bitbucket). Later my colleague worked on the same file, without doing a git pull first. He then committed and pushed his code to master, and now the head of our remote master contains his code changes, but not mine anymore. How is that possible? I know pushing to master is frowned upon but still, should his push not be rejected? Or maybe he did a forced push? He uses Phpstorm  to do his git commands, maybe this is a phpstorm thing?</p>
  <p>Mark</p>