Who else gets confused by GitHub PR saying "Open" after merging?

by cheeriotyon 8/5/2024, 10:21 AMwith 1 comments

by cheeriotyon 8/5/2024, 10:21 AM

I know a reload does fix it, that's not my point :)