This is uncommon, but a big problem. The most common result is that your git push would return the "deleted" commit to a shared history. (First, you would git pull if you were working on the same ...