Can't for now because of Bazel but happy that this means project references are now supported!

Make sense, very cool. The third structure sounds similar to what I've read about Jujutsu mega-merges, but without the need for the explicit merge and `jj absorb`.

I see there's a link to another article about using GitButler with stacked branches, but the model of interacting with commits within a branch already resembles stacked diffs. Should we just be able to generalize this ad infinitum with arbitrary levels of metastacks?

This is the kind of crossover I like to see

I'm sure there's one running on blockchain

Yes, but only after github.com/microsoft/Ty...
:)

You can build a mental model and perfectly predict what the typechecker will do.