schemadiff: normalize `PRIMARY KEY` definition#12016

Merged

deepthi merged 6 commits intovitessio:mainfrom planetscale:schema-diff-normalize-primary-key

Jan 9, 2023

+290-115

Commits on Jan 1, 2023

Merge branch 'main' into schema-diff-normalize-primary-key
shlomi-noach
committed