Same user, different case? about gitdm.archive

[lukaszgryglicki]

Will take a look when I have some time.

[svrnm]

thank you @lukaszgryglicki for looking into this and fixing it!

[svrnm]

Will take a look when I have some time.

Thank you!

[lukaszgryglicki]

First question would be if GitHub distinguish case or not.
Can take a look Friday the earliest.

[lukaszgryglicki]

So users aren't duplicated in GitHub_users.json and cncf-config/email-map - but they are in the dashboard, investigating this.

[lukaszgryglicki]

But on the database:

opentelemetry=# select * from gha_actors where id > 0 and (upper(login) = 'WPH95' or lower(login) = 'arbiv');
    id    | login |     name     | country_id | sex | sex_prob | tz | tz_offset | country_name | age 
----------+-------+--------------+------------+-----+----------+----+-----------+--------------+-----
 12132333 | Arbiv | Yosef Arbiv  |            |     |          |    |           |              |    
 12132333 | arbiv | Yosef Arbiv  |            |     |          |    |           |              |    
  2732352 | wph95 | Penghan Wang | ni         |     |          |    |           | Nicaragua    |    
  2732352 | WPH95 | Penghan Wang | ni         |     |          |    |           | Nicaragua    |    
(4 rows)

opentelemetry=# 

This means users were renamed somewhere in the past.
I will update dashboard to group by lower(login) which should solve the issue - I'll chekc this locally first.

[lukaszgryglicki]

This commit should solve this, but I need to test locally, confirm it works, rebuild images and rebuild that dashboard's data.

[lukaszgryglicki]

Fixed and regenerated data, closing.