The point of git is that everyone can keep working right now and can push later without things getting very messy.