GITLAB_API_TOKEN for 4diac IDE github workflow
Summary
For 4diac IDE we recently started to add Eclipse Dash checking: https://github.com/eclipse-4diac/4diac-ide/pull/2253. For that a GITLAB_API_TOKEN would be needed.
I was told as project lead I can request that.