mirror of
https://github.com/dolthub/dolt.git
synced 2026-04-28 04:28:53 -05:00
224215f340
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