Florian Ragwitz
10 days ago
The repository of the git project hasn't been indexed for quite a while now.
Please give it some attention.
TIA.
Robin Luckey
I've fixed the problem. There should be an updated Git report sometime today.