Who else gets confused by GitHub PR saying "Open" after merging?twitter.com2 pointscheerioty2 years ago