Skip to content

GitHub org/team names should be treated case insensitively #1167

@carols10cents

Description

@carols10cents

See rust-lang/cargo#4019 (comment).

GitHub treats organizations case insensitively; you can visit either github.com/ParityTech or github.com/paritytech and these are the same organization. This is probably the same for teams as well, but we should check this.

We're not currently treating teams.login in a case-insensitive fashion. We should:

  • run a migration to LOWER all teams.login values
  • change the uniqueness constraint on teams.login to be unique on LOWER
  • always look up teams in the database using the user's input lowercased
  • when comparing the team name to team slugs in github API responses, always lower the team slug from github
  • add some tests that ensure adding teams to crates using different casing works

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions