ditto.pub is the instance he’s running. I’m sure you can find the gitlab link somewhere on his profile.