Never had that happen but you should always push your commits.