This is the first time I have encountered a problem that I couldn't fix. It simply refused to push changes. Maddening.

Thank heavens for git diff and git apply.