• qaz@lemmy.world
    link
    fedilink
    English
    arrow-up
    10
    arrow-down
    2
    ·
    edit-2
    3 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
      9
      ·
      2 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
        3
        ·
        edit-2
        2 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.