search

pdidev / pdidev.github.io

Website for the pdidev organization (https://pdi.dev)
https://pdi.dev
1 stars 0 forks source link

Update pdidev website for github's main branch #1

Open benoitmartin88 opened 1 month ago

benoitmartin88 commented 1 month ago

website still points to gitlab

jbigot commented 1 month ago

The sources have been fixed. The issue is one of deployment. Our script still downloads the sources from gitlab.

jbigot commented 1 month ago

Also, we need a trigger from commit in PDI main to the website repo

benoitmartin88 commented 1 month ago

We are waiting for release 1.8.0 to retrieve the generated documentation artifact.

jbigot commented 1 month ago

The doc for main could already be fetched from github