wxiaoguang 395bb33e4c
Merge different languages for language stats (#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-24 19:37:36 +00:00
..
2023-04-17 11:37:23 +08:00
2023-05-21 22:35:11 +00:00
2023-01-05 13:58:51 +02:00
2023-05-21 22:35:11 +00:00
2023-05-21 22:35:11 +00:00
2023-02-18 21:17:39 +02:00
2023-05-08 19:49:59 +08:00
2023-05-08 19:49:59 +08:00
2023-02-11 08:39:50 +08:00
2022-12-30 23:31:00 +08:00
2023-05-21 22:35:11 +00:00
2023-05-21 22:35:11 +00:00
2023-05-21 22:35:11 +00:00
2023-05-21 22:35:11 +00:00