is the repo public, yet? I can't see a repo event for it on GitWorkshop.