@microscopic-pilot-97530 had worked on a GitHub provider a while back, I think we have a private repo for this. I think it may have bitrotted a little, but still probably easier than starting from scratch. Let me circle with Justin and at the very least invite you to the repo (if not just make it public).