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

by cheerioty on 8/5/2024, 10:21:16 AM with 1 comments

  • by cheerioty on 8/5/2024, 10:21:16 AM

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