chore: automated publication/news refresh#33

github-actions[bot] wants to merge 1 commit into

mainECLIPSE-Lab/eclipse-lab.github.io:mainfrom

automation/publication-refreshECLIPSE-Lab/eclipse-lab.github.io:automation/publication-refreshCopy head branch name to clipboard