PR labels should be sorted case-insensitively #1008
Description
Labels are sorted with caps letters first, I think aaa should come before Bbb.
{{ message }}
Labels are sorted with caps letters first, I think aaa should come before Bbb.