audit uses of `merge.old` in transcripts

unisonweb / unison

A friendly programming language from the future

https://unison-lang.org

Other

5.64k stars 267 forks source link

Closed mitchellwrosen closed 1 day ago

mitchellwrosen commented 3 days ago

read over all uses of merge.old and decide if each should be ported to merge or deleted

mitchellwrosen commented 2 days ago

Oops, I think GH autoclosed; reopening because there are a few more to port