3 ms·It looks like github is just buggy in this case.by mkj 4mo agoIt looks like github is just buggy in this case.