tooling

Posted Jan 16, 2025 21:44 UTC (Thu) by bangert (subscriber, #28342)
Parent article: The many names of commit 55039832f98c

so if the cherry-pick commit had additional metadata (not in the comment) referencing the original commit - and the subsequent second cherry-pick retained both references, then it could easily be found?