At the very least I think the gitlab.com/geany project domain should be claimed and mirrored.

That seems reasonable, as long as the bug tracker and pull requests and such can be disabled, and the mirroring can be automated.

I can understand to disable the bug tracker, but why do you want to disable pull requests? The objective here I think it's to open the door to the people who want to contribute in gitlab instead of in github.

Regards,
Matthew Brush

_______________________________________________
Devel mailing list
Devel@lists.geany.org
https://lists.geany.org/cgi-bin/mailman/listinfo/devel