Who else gets confused by GitHub PR saying "Open" after merging? (twitter.com) 2 points by cheerioty 2y ago ↗ HN
1 comment
[ 2.9 ms ] story [ 16.3 ms ] thread