It seems like github's auto merge has gotten really slow