migrate to github
This has been on the exist-db agenda since 2017. Users have similarly expressed their irritation to why tei-publisher is not part of exist-db's github repos. We're loosing valuable feedback and contributions because of this.
We already have a hard time tracking changes to eg. i18n module which happen here, with those that happen on GH. The only GL only feature we currently use here on gitlab is the GL-teams. While, GH teams are not a one to one replacement, i suggest that the pros of GL-teams do not outweigh the cons of the fractured nature of the parallel discourse, and much of what GL-teams can do can be emulated to work on GH as well.
Since TEI is on Github migrating would make cross-references easier, increase the visibility of tei-publisher, and also lower the hurdle for first time contributors to report issues and make contributions.
Let's move this (and associated apps processing library and publisher web-page)