[eclipse-theia] Please active github pages for https://github.com/eclipse-theia/theia-website
We'd like to move the hosting of the Theia Website (https://www.theia-ide.org) to Github pages. Therefore, please active Github Pages for https://github.com/eclipse-theia/theia-website.
Also, please create a Github secret, if necessary, with which we can push to the Github pages branch (e.g. gh-pages
) from a Github workflow.
Once this is ready, we'll prepare the Github workflows. Once we are ready, we will ping you again here and ask you to configure theia-ide.org to be the custom domain for the Github page of this repo. But please wait with that until we confirm everything is ready.
Thank you very much!
Related: #3874 (closed)