GitLab will be updated at 2021-10-27 18:30 GMT. There might be some instability around that time.
GitLab will have extended maintenance between 2021-11-02 and 2021-11-04. See the announcement.
TinyTex is licensed GPL2, but this is GPL3. It can for practical
purposes be considered a derivative work.
IANAL, if this is a problem I can just re-license to GPL2.
Attach a file by drag & drop or click to upload