The old commit becomes orphaned in your local workspace. The new, amended commit replaces the previous commit at the tip of the currently selected branch. As such, it is more accurate to say the git ...

Still, the fact that the commit disappeared from the original dev's local repo is concerning. Under basically no circumstances should a git commit end up "lost" after a pull or fetch without doing ...