One should never use web tools to edit git repos. Reverting the last commit
that should go to a different branch. Duh. Friday. And all that....