• qaz@lemmy.world
    link
    fedilink
    English
    arrow-up
    11
    arrow-down
    4
    ·
    edit-2
    18 days ago

    Of course you can, make it lowercase internally and store the case formatted string for output.

    • aard@kyu.de
      link
      fedilink
      arrow-up
      11
      ·
      18 days ago

      That’d break git repos where files with the same name, but different case exist.

      • qaz@lemmy.world
        link
        fedilink
        English
        arrow-up
        1
        arrow-down
        5
        ·
        edit-2
        18 days ago

        I was talking about branch names, not file names. File duplicates due to case sensitivity aren’t a problem on Windows anyway because those are already enforced by the file system. Unless you have people working on Linux that have multiple files with a similar name but with different casing but those should know better.

        • lseif@sopuli.xyz
          link
          fedilink
          arrow-up
          1
          ·
          39 minutes ago

          so now its the Linux users who should know better, just in case git introduces a breaking change out of nowhere ?

          …but not the ones using a case-insensitive file system with case-sensitive version control ?