4 ms·
Yeah I think this is actually pretty important. I wonder whether associativity of unrelated changes generalizes to other git problems?
by rmtech 6y ago
Yeah I think this is actually pretty important. I wonder whether associativity of unrelated changes generalizes to other git problems?