unison/unison-src/transcripts/reflog.md

scratch/main> builtins.merge lib.builtins

First we make some changes to the codebase so there's data in the reflog.

x = 1

scratch/main> add

y = 2

scratch/main> add
scratch/main> branch /other
scratch/other> alias.term y z
newproject/main> builtins.merge lib.builtins
newproject/main> alias.type lib.builtins.Nat MyNat

Should see reflog entries from the current branch

scratch/main> reflog

Should see reflog entries from the current project

scratch/main> project.reflog

Should see reflog entries from all projects

scratch/main> reflog.global