Testing another commit.  Commandline git push worked, but through GUI, nope.