Packaging process

Thanks for the heads up. I indeed met a bug with documentation.
How do you proceed, if the PR is refused by an automatic CI test, to update this very PR without creating a new tag?