I awoke this morning and looked at the commit history of one of my dev team\'s private repositories on BitBucket. I saw this:
Anonymous
The owner had some commits on develop that they had not pushed, then ran git pull and fetched/merged in new commits from develop that were in the remote repo.
git pull