• qaz@lemmy.world
    link
    fedilink
    English
    arrow-up
    0
    arrow-down
    1
    ·
    edit-2
    5 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
      0
      ·
      5 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
        0
        arrow-down
        1
        ·
        edit-2
        5 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.