wxiaoguang a83d597989 Merge different languages for language stats (#24900) (#24921)
Backport #24900

Fix #24896

If users set different languages by `linguist-language`, the `stats` map
could be: `java: 100, Java: 200`.

Language stats are stored as case-insensitive in database and there is a
unique key.

So, the different language names should be merged to one unique name:
`Java: 300`
2023-05-25 07:12:21 +02:00
..
2023-01-02 22:46:39 +01:00
2023-01-05 13:58:51 +02:00
2023-02-18 21:17:39 +02:00
2023-01-31 09:45:19 +08:00
2023-01-31 09:45:19 +08:00
2023-02-11 08:39:50 +08:00
2022-12-30 23:31:00 +08:00