3 ms·Who else gets confused by GitHub PR saying "Open" after merging?2 points by cheerioty 2y agocheerioty 2y agoI know a reload does fix it, that's not my point :)