update website publication job

[monperrus]

Until today our website http://spoon.gforge.inria.fr was hosted on the INRIA GForge. Yes, this service will be discontinued, see https://intranet.inria.fr/Actualite/Report-a-l-ete-2021-et-plan-d-action-Arret-de-la-forge

As alternative solution, @seintur and myself have worked to move it to Github.io.

Now, the HTML pages are hosted on https://github.com/SpoonLabs/SpoonLabs.github.io/

Yet, we need to update the cron task for publishing the website, which is a Jenkins job:

• Job: https://ci.inria.fr/sos/job/Website%20Deployer/
• Source :https://github.com/SpoonLabs/spoon-ci-config/blob/master/jenkins/jobs/Website%20Deployer.xml

[monperrus]

The job must handle both the Jekyll site in docs and the Javadoc, see #3762

[slarse]

I'm doing some infrastructure work at the moment so I'll pick up this one, too.

[slarse]

It took me a while to familiarize myself with Jenkins Jekyll, but now I've got it all mostly figured out. I've adapted the current deployment script to generate the new site, but I haven't written the deployment part yet.

@monperrus Should we deploy automatically to SpoonLabs/spoonlabs.github.io, or should we open pull requests (automatically) whenever the website changes?

Also, I can't find that the Javadocs for previous (stable) versions are hosted anywhere, are they? Should we to set it up such that we host the docs for, let's say, every stable release from Spoon 8 and up? Plus snapshots?

[monperrus]

that's great.

@monperrus Should we deploy automatically to SpoonLabs/spoonlabs.github.io

yes!

[slarse]

@monperrus I've got everything working now in a simple GitHub Action workflow (simpler than Jenkins as we have the credentials at hand). Here's an automatic update example on my own fork. Note that the diff is quite large due to the switch in markdown processor (see #3859).

As the move from Travis to GHA was kind of painful, I've written the deployment script to be relatively agnostic of where it is executed. In case we need to move again. For the final revision, I'll configure the action to update the website once a day.

Before I can make the final preparations for this to work on the actual Spoon website, I need #3859, #3862 and #3863 to be merged.

[monperrus]

Thanks for the progress.

I need #3859, #3862 and #3863 to be merged.

Done

[slarse]

FYI the new automation is ready for merge over at SpoonLabs/SpoonLabs.github.io#2

[monperrus]

Closing then!

[monperrus]

@slarse what about deleting the Jenkins job https://ci.inria.fr/sos/job/Website%20Deployer/?

[slarse]

@monperrus Yep, I think we're comfortable enough with the GHA one now that the old deployer is just baggage. Will delete tomorrow morning.

[slarse]

Job deleted.

[monperrus]

Thanks.