@hamogu -- thanks very much! being on Christmas break has been nice, but I forgot about that rebase. I appreciate you taking care of it. :)

@hamogu You can rebase your branch now to remove your mistake :)

Run git rebase -i master and move your commit to between @astronomeralex's and mark it as "fixup". Then it will just vanish entirely and the original commit will be correct again :)

Will do.

@embray I did not get it to work with rebase because the order of commits matters and I could not reorder it to make my commit go away.
Instead I have just deleted my branch, I checked out @astronomeralex branch again and did the rebase from scratch, so that should remove any contribution from me from the commit messages as well. I hope I did not overlook anything again.

I let Travis run again just to make sure.

Hmmm...usually that works for me, but whatever works. Looks good now, thanks!