Re: What's cooking in git.git (Aug 2025, #01; Sun, 3)

From: Lucas Seiki Oshiro <lucasseikioshiro@gmail.com>
Date: Aug 6, 2025, 17:28 UTC
Message-ID: <DB375D08-5178-4A7C-9538-DE4A7CDD1346@gmail.com>
In-Reply-To: <xmqqectpziz9.fsf@gitster.g>

Show 8 quoted lines

> 
> When I report a public CI failure, I'd try to give an exact URL, but
> otherwise the failure would have been seen in my local environment,
> and because I tend to refrain from pushing out a know-to-be-broken
> tree, it is unsurprising if 371c45b569 did not fail.
> 
> That commit does not have lo/repo-info, I suspect.  I didn't know
> exactly which topic was causing

Yeah, I forgot to check the CI before I sent the last version. My bad, I'm sorry for this. I'll be more careful next time.

> but the error was observed when
> "repo --help-all" was given, so perhaps some interactions between
> these two topics.

However, after merging my local repo-info-v7 onto 371c45b569 in my local environment, I can execute `git repo --help-all` without any errors. I also pushed this merge to GitHub [1], the only fails were directly related to my branch (some tests that I wrote and some leaks).

[1] https://github.com/lucasoshiro/git/actions/runs/16759427895/job/47450548740