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