This commit has been automatically submitted by Github Actions.
Re-enable automatic updates after deleting github-projects.txt. %ci:no-build
Requested in #6042