Inconsistency between PMI web UI and projects.eclipse.org API

I stumbled over the following inconsistency for the technology.set project:

The projects.eclipse.org API reports:

curl -sSL https://projects.eclipse.org/api/projects/technology.set | jq '.[].gitlab_repos'
[
  {
    "url": "https://gitlab.eclipse.org/eclipse/set/set"
  }
]

but in the PMI WebUI, there is no entry in the GitLab section:

https://projects.eclipse.org/projects/technology.set/edit

The gitlab_repos field is not even show in the PMI WebUI. Could this be a relict from a time when individual GitLab repos could still be defined individually instead of just the GitLab group field?

How can this be fixed?