[eclipse-theia] Token for publishing to the website from a Github workflow
We are currently in preparation of hosting the real content of the Eclipse Theia website (https://theia-ide.org and https://eclipse.dev/theia) to the Eclipse web servers. Therefore, I'm working on a Github workflow to build the website at https://github.com/eclipse-theia/theia-website and publish the results of the build to https://github.com/eclipse-theia/theia-website-publish.
My draft for the Github workflow is here: https://github.com/eclipsesource/theia-website/pull/3/files#diff-551d1fcf87f78cc3bc18a7b332a4dc5d8773a512062df881c5aba28a6f5c48d7R64
As can be seen in the Github workflow, I'm going to need a secrets.GH_ACTION_TOKEN
for pushing changes to https://github.com/eclipse-theia/theia-website-publish. Can you please create a secret token and add it to the Github repository for this purpose?
This is analog to how it is done for other projects, such as https://github.com/eclipse-glsp/glsp-website-source
Once, this is done, we would like to also ask you to point https://theia-ide.org to the contents of https://eclipse.dev/theia.
Thank you!