cwebber2aaronpk: so I suggest we use gitlab, but yes, since it's not federated, use gitlab.com. It'll have some tradeoffs, but given the work we're doing I think it's worth it, and it might allow some users in related spaces to participate who wouldn't on github
