Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [theia-dev] Migrating the Theia Website (theia-ide.org)
Hi Philip,

Thanks a lot for this migration!

I unlinked the previous Netlify build from the GitHub repository. I’ll keep the Netlify site open for a while, just in case, and delete it afterwards.

Regards
--
Dr. Miro Spönemann
General Manager / Software Architect

TypeFox GmbH
Am Germaniahafen 1, 24143 Kiel
https://www.typefox.io

Sitz: Kiel, Registergericht: Amtsgericht Kiel, HRB 17385
Geschäftsführer: Daniel Dietrich, Dr. Miro Spönemann

On 19. Apr 2024, at 11:32, Philip Langer via theia-dev <theia-dev@xxxxxxxxxxx> wrote:

Hi all,

I'm happy to report that the migration has been successfully completed. The Theia website (https://theia-ide.org) is now hosted on Github pages and every change on master will automatically be deployed.
In addition, a preview will be deployed for each PR at https://github.com/eclipse-theia/theia-website-previews.

Please let me know if you observe any issues or if you have questions!

Best wishes,

Philip


On Wed, Apr 10, 2024 at 5:47 PM Philip Langer <planger@xxxxxxxxxxxxxxxxx> wrote:
Hi all,

We're in the final steps of migrating the Theia website from Netlify to GitHub Pages. I'm pleased to announce that we've recently integrated GitHub workflows for publishing the Theia website to GitHub Pages, including support for previews.

The current state of the website's master branch is now live and accessible at https://eclipse-theia.github.io/theia-website.

Please take some time over the next few days to review https://eclipse-theia.github.io/theia-website. Keep an eye out for broken links, missing images, or any other issues that might have slipped through the cracks.

Should you encounter any problems, don't hesitate to open an issue on our GitHub repository at https://github.com/eclipse-theia/theia-website/issues. Your feedback is crucial to ensure a smooth transition and to maintain the quality and integrity of the Theia website.

The final step in this migration process is to coordinate with the EF helpdesk to update the DNS for theia-ide.org to point to our new GitHub Page. We aim to initiate this process by the end of next week, around April 19th.

Thanks in advance for your support!

Best wishes,

Philip

-- 
Dr. Philip Langer

CEO | Principal Software Architect
EclipseSource


EclipseSource Services GmbH
Schwindgasse 20 / 2-3
1040 Wien

General Manager: Dr. Philip Langer
Registered Office: Schwindgasse 20 / 2-3, 1040 Wien; Handelsgericht Wien, FN 421413a


-- 
Dr. Philip Langer

CEO | Principal Software Architect
EclipseSource


EclipseSource Services GmbH
Schwindgasse 20 / 2-3
1040 Wien

General Manager: Dr. Philip Langer
Registered Office: Schwindgasse 20 / 2-3, 1040 Wien; Handelsgericht Wien, FN 421413a
_______________________________________________
theia-dev mailing list
theia-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/theia-dev

Back to the top