It looks like github is just buggy in this case.