3 ms·I think there is no issue. But, yes, it seems like if there is one then it's with the github UI.by nebulous1 3y agoI think there is no issue. But, yes, it seems like if there is one then it's with the github UI.