Skips the git commit force push if git returns no diff between the local branch and server branch of the same name.

Closes #5009, Closes #5083, Closes #5074