[Mirror] Create a mirror of this repository on Github

Github is far more popular than gitlab so it makes sense to also have it on github by implementing a mirror to it

https://docs.github.com/en/repositories/creating-and-managing-repositories/duplicating-a-repository