But his pull request for that commit did pass so maybe this is a consequence from something deeper. I guess I will let twitter take care of it then.