5 ms·Feelsgood that we're moving towards a single modifiable repo of history! What could go wrong?by formalsystem 8y agoFeelsgood that we're moving towards a single modifiable repo of history! What could go wrong?