It’s possible to have two groups with the same name but with a different case. This is confusing and leads to potential problems with bulk inviting and users mentioning groups later if the admin isn’t careful. Not a major issue but seems a bug nonetheless.
Makes sense to me that uniqueness of the group name should account for case.
But should we force a case convention (presumably all_lower_case) on all group names? That might bother people.
The migration for this will need to hunt for any existing collisions and rename some groups to allow for the case-insensitive index to be created.
Case-preserving but case-insensitive does seem reasonable in this situation. Hopefully that’s already true of user names.
Sure, I am working on another feature ATM, have a shot at it!