Bug: can not deal with upper case names (org & repo) properly

[huan]

Currently, we are set the config with all lowercase names:

https://github.com/kaiyuanshe/oss-bot/blob/3038422f79adbbfdf5cd850746377b0bdbd684f3/src/config.ts#L33

However, the GitHub webhook will send us an event with "full_name": "DSExtension/DSExtension".

Then when we have received the event, we have the following code:

https://github.com/kaiyuanshe/oss-bot/blob/3038422f79adbbfdf5cd850746377b0bdbd684f3/src/issue-handlers.ts#L94-L96

That's the reason why the DSExtension committers can not receive the msg card.

A solution would be converting the full_name to lowercase before we match it in our managedRepoConfig.

[francis-du]

Same problem encountered in Quicksql

[huan]

The config should be not case sensitive anymore, this issue has been fixed by 1a7944c

[huan]

Presented and closed on the weekly meeting.

Thanks @zhuangbiaowei for helping me close this issue. :-D