gitlab repository as official, and fork here

[drbeco]

Can we have this repository on gitlab, and the github repo be a fork of that?

I guess it makes sense, right?

Thanks.