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

Re: What's cooking in git.git (Apr 2024, #03; Fri, 5)

From
DSDragan Simic <dsimic@manjaro.org>
Date
Apr 6, 2024, 17:01 UTC
Message-ID
<ceddded683e20b87236e1d4880786881@manjaro.org>
In-Reply-To
<xmqqmsq6l9c3.fsf@gitster.g>
On 2024-04-06 18:55, Junio C Hamano wrote:
Show 14 quoted lines
> Dragan Simic <dsimic@manjaro.org> writes:
> 
>> Ah, sorry, I wasn't precise enough, please let me explain.  When
>> I wrote "prefix", I had its use by humans in mind, e.g. for searching
>> the "what's cooking" emails by hand, to see the statuses of one's
>> patches.  I mean, that's what I do -- by searching for "ds/", I can
>> easily find the statuses of my patches in "what's cooking" emails.
>> Does that make sense?
> 
> Yes, and the fan-out reduces the search space by a lot, but like the
> birthday paradox, given sufficiently large number of people, the
> chances of two people falling into the same shard increases.  It of
> course does not help that the first and the last capital letters in
> people's names are not evenly distributed ;-).

Exactly. Actually, such collisions/overlaps are a good problem to have, because it means that the number of contributors is large enough to cause such issues. :)

Previous: Junio C Hamano
Message 7 of 7 in “What's cooking in git.git (Apr 2024, #03; Fri, 5)”
  1. Junio C HamanoApr 5, 2024
  2. Jeff KingApr 5, 2024
  3. Dragan SimicApr 6, 2024
  4. Junio C HamanoApr 6, 2024
  5. Dragan SimicApr 6, 2024
  6. Junio C HamanoApr 6, 2024
  7. Dragan SimicApr 6, 2024

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.