Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Needed for the GitHub Actions workflow in sirius-website-sources to push the result into sirius-website. See https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/4254 for context. Signed-off-by: Pierre-Charles David <[email protected]>
- Loading branch information