Earlier quoted context omitted.
That is a best practice for two real reasons: 1. You don't want third parties to know how many objects you have 2. You don't want folks to be able to iterate each object by incrementing the id But if you have composite IDs like this, that doesn't matter. All objects that belong to a repository have the repository id inside them. Incrementing the id gives you more objects from the same repo. Incrementing the repo id g…
What if you used some id that does not allow to count objs like guid?
Uuid7 would not have helped GitHub, though, because it doesn't solve the sharding issue.