Bugfix: Cannot push local changes when someone else push at the same time.