He closed his bluesky account some time ago so he must have left then. I assume they had some dnd agreement because only after he confirmed it publicly did bluesky came out with their announcement.