Case insensitive PR diffs

XMLWordPrintable

      Problem Definition

      Git is case sensitive and diffs include changes in capitalization.

      There are some languages, like VHDL, which are case insensitive, and users who use them would like to be able to ignore capitalization changes in the diff.

      Suggested Solution

      Offer an option, through a custom implementation, to ignore capitalization changes in diffs (similar to the "ignore whitespace" option).

            Assignee:
            Unassigned
            Reporter:
            Theodora Boudale (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: