On Leaving GitHub and Joining OpenSea