> I don't see what optimization requires that.
From a single commit ID you cannot tell which repo it came from. A "repo" is just a tree of commits.
From a single commit ID you cannot tell which repo it came from. A "repo" is just a tree of commits.
(You might argue that determining what refs contain a commit is potentially expensive, perhaps, but GitHub already does this, so I'd argue that it's not that expensive.)
if they did you'd be spot on though