Yes, my previous comment reported the failure.

FWIW, clean (by my lights) or confusing (by yours) commit histories don't interfere with GitHub's comment thread history. The revised commit will show up after any discussion of the previous version.