with the acquisition of Github by Microsoft I am getting more and more wary to use Github, and would like to probe opinions of other developers.
I am currently maintaining the TeX-Live group on Github which provides mirrors of the TeX Live source, luatex sources, texdoc, tlcockpit, as well as some others. Other groups that are relevant is Japanese TeX Developer Community page and probably quite some more.
I am contemplating the following options, and would like to hear opinions. Generally, there are two options:
- move to a hosted environment
- host your own git collaboration suite
ad 1.) here are several options, mostly based on Gitlab, a open source clone of Github:
- Gitlab: free for OSS projects
- Debian's Gitlab instance: also free for DFSG OSS projects
ad 2.) we could host either Gitlab or one of the small-footprint variants (gitea, gogs) on either the tug.org or the texlive.info server, or set up a new dedicated server for TeX related git stuff.
Advantages of using Gitlab is that carry-out is easy, and everyone can set up one's own Gitlab server.
Looking forward to any comments.