> > > It just seems like the website is basically the only repo we cannot move > easily because of current deployment. >
We can use the double push method. We have a CI job that pulls the website from Git and pushes it to the deployment repo. The link below has some extra HUGO processing that we don't need but the process seems the same. https://wiki.eclipse.org/Jenkins#How_to_build_my_project.27s_website_with_Jenkins.3F
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
