"Pablo Sabater" [off-list ref] writes:

On Thu Jul 9, 2026 at 6:11 PM CEST, Tian Yuchen wrote:

quoted

...

Hi!

I missed a base-commit to easily apply this locally, could we
add one?

Thanks!
Pablo

FYI, a topic that is in 'seen' can be extracted from my tree by
inspecting "git log --oneline origin/master..origin/seen" and
finding the commit that merges the series.