bug: name case sensitivity in retrieving and creating labels using github graphql api

[a-hilaly]

When exporting new events to Github, creating and retrieving bugs using the graphql API can lead to some unexpected behaviour (only in some special cases):

• creating a label bug then trying to create a label Bug will return an error Name has already been taken
• having only one label named bug and trying to retrieve a label with name Bug will return a null ID.

For now to avoid this problem, try to not use two labels with the same letters like core and CorE.

I wrote a message to the Github support, i'll keep this issue up to date once i have a response.