Aha, I think I see what is going on. Commit e8e3693 should not have been pushed. I must have forgotten to --amend that commit with the second one, 93b4f853. I must learn to do a 'git log' to check for that mistake. My apologies. I do not know how to fix this problem.