Is their a reason that the Gitlab repository is not mirrored to Github?
I like both Gitlab and Github but Github is just more popular, especially among open source developers. Mirroring the repository could help bring more visibility and people to this awesome project.
The management of two separate repositories can be a pain, but with automated pipelines being integrated in both Github and Gitlab the manual work is cut drastically.