omg @futanari.tentacle.expert i should start “mid bluesky” and it’s just a list of your closed PRs