Provide correction for git push instruction.