gistfile1.txt

  Now starting the Unison Codebase Manager (UCM)...


   _____     _             
  |  |  |___|_|___ ___ ___ 
  |  |  |   | |_ -| . |   |
  |_____|_|_|_|___|___|_|_|
  
  👋 Welcome to Unison!
  
  You are running version: release/0.5.43


  📚 Read the official docs at https://www.unison-lang.org/docs/
  
  Hint: Type 'projects' to list all your projects, or 'project.create' to start something new.

enchanting-armadillo/main> switch @unison/cloud
@unison/cloud/main> pull

  I couldn't automatically merge remote @unison/cloud/main into
  @unison/cloud/main. However, I've added the definitions that need attention
  to the top of scratch.u.
  
  When you're done, you can run
  
    merge.commit
  
  to merge your changes back into main and delete the temporary branch. Or, if
  you decide to cancel the merge instead, you can run
  
    delete.branch /merge-remote-main-into-main
  
  to delete the temporary branch and switch back to main.

@unison/cloud/merge-remote-main-into-main> 

  Loading changes detected in ~/work/unison/trunk/scratch.u.


  I found multiple types with the name Cloud:
  
   2313 | unique[eag9b9n6g7tqto20aaofb6t7d9ed02bn] ability Cloud where
   2314 |   logs.impl :
      .
   2421 | unique[lfrolnoqdjtmkgko15drlg79ho1ejiji] ability Cloud where
   2422 |   ServiceName.unassign.impl :
  
  
  I found multiple types with the name Storage:
  
   2529 | unique[dbg66ag0qmbgkihg10uvvg4gja7psr2t] ability Storage where
   2530 |   tryTransact :
   2531 |     Database
   2532 |     -> '{Transaction, unison_base_3_14_0.abilities.Exception} a
   2533 |     ->{Storage} unison_base_3_14_0.Either unison_base_3_14_0.IO.Failure a
   2534 | 
   2535 | -- remote @unison/cloud/main
   2536 | unique[qfdot1qrnqagbjcqk5r76tmcen2oo86h] ability Storage where
   2537 |   tryTransact :
  

@unison/cloud/merge-remote-main-into-main> 

  Loading changes detected in ~/work/unison/trunk/u.u.


  I loaded /Users/arya/work/unison/trunk/u.u and didn't find anything.

@unison/cloud/merge-remote-main-into-main>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              
@unison/cloud/merge-remote-main-into-main> 
arya@MacBookAir trunk % code scratch.u
arya@MacBookAir trunk % ucm

  Now starting the Unison Codebase Manager (UCM)...


   _____     _             
  |  |  |___|_|___ ___ ___ 
  |  |  |   | |_ -| . |   |
  |_____|_|_|_|___|___|_|_|
  
  👋 Welcome to Unison!
  
  You are running version: release/0.5.43


  📚 Read the official docs at https://www.unison-lang.org/docs/
  
  Hint: Type 'projects' to list all your projects, or 'project.create' to start something new.

lete                                                                           
Select a branch to delete or press <esc> to cancel:
@unison/cloud/merge-remote-main-into-main> branch.delete @unison/cloud/main
lete /merge-remote-main-into-main                                              
@unison/cloud/pre-runar> switch @main

  ⚠️
  
  Sorry, I wasn’t sure how to process your request:
  
    I expected a project or branch, but couldn’t recognize “@main” as one.
  
  You can run `help switch` for more information on using `switch`.

@unison/cloud/pre-runar> switch main 

  Neither project main nor branch /main exists.

@unison/cloud/pre-runar>