mirror of
https://github.com/dolthub/dolt.git
synced 2026-02-11 10:33:08 -06:00
Since we put a type system in Noms, we can now use it to check that a ref that purports to be the new Head for a Dataset after a pull actually points to a Commit. Fixes #133