unison/unison-src/transcripts/reflog.output.md

First we make two changes to the codebase, so that there's more than one line for the reflog command to display:

x = 1

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      x : Nat

.> add

  ⍟ I've added these definitions:
  
    x : Nat

y = 2

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      y : Nat

.> add

  ⍟ I've added these definitions:
  
    y : Nat

.> view y

  y : Nat
  y = 2

.> reflog

  Here is a log of the root namespace hashes, starting with the
  most recent, along with the command that got us there. Try:
  
    `fork 2 .old`             
    `fork #2a4hnm3mcj .old`   to make an old namespace
                              accessible again,
                              
    `reset-root #2a4hnm3mcj`  to reset the root namespace and
                              its history to that of the
                              specified namespace.
  
  1. #5fihla47kl : add
  2. #2a4hnm3mcj : add
  3. #43lqh9lfp3 : builtins.merge
  4. #sg60bvjo91 : (initial reflogged namespace)

If we reset-root to its previous value, y disappears.

.> reset-root 2

  Done.

.> view y

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    y