from
Hacker News
Top
New
Who else gets confused by GitHub PR saying "Open" after merging?
by
cheerioty
on 8/5/24, 10:21 AM with 1 comments
by
cheerioty
on 8/5/24, 10:21 AM
I know a reload does fix it, that's not my point :)