git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH v5] userdiff: improve java hunk header regex

From
Junio C Hamano <gitster@pobox.com>
Date
Aug 11, 2021, 18:11 UTC
Message-ID
<xmqqo8a397ib.fsf@gitster.g>
In-Reply-To
<87im0b6f92.fsf@gnu.org>
Tassilo Horn <tsdh@gnu.org> writes:
> That leads to the question if you'd welcome a patch adding a
> .dir-locals.el to the repository with the right settings so that it'll
> just work for contributors using the One True Editor.  Would you?

If your one true editor honored what is in .editorconfig, perhaps there was no need for us to be having this conversation? I dunno.

Our .gitattributes (the top one and also in subdirectories) try to give reasonable whitespace rules for files, and specifically, files in t/t????/ directories that are used as test vectors completely disable whitespace checking, while everywhere else we insist certain styles in the top-level .gitattributes file.

Thanks.
Previous: Tassilo HornNext: Tassilo Horn
Message 4 of 5 in “userdiff: improve java hunk header regex”
  1. userdiff: improve java hunk header regexTassilo Horn, Aug 11, 2021
  2. Junio C HamanoAug 11, 2021
  3. Tassilo HornAug 11, 2021
  4. Junio C HamanoAug 11, 2021
  5. Tassilo HornAug 11, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.