Git Push Versus Commitment