unisonweb/unison

unexpected blank lines in diff's name conflicts section

Open

#1,207 opened on 2020年2月5日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
Hacktoberfesthelp wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (平均マージ 12d 19h) (30d で 6 merged PRs)

説明

see delete.output.md:

.a> merge .b

  Here's what's changed in the current namespace after the
  merge:
  
  New name conflicts:
  
    1. type Foo#d97e0jhkmd
         
       ↓
    2. ┌ type Foo#d97e0jhkmd
           
    3. └ type Foo#gq9inhvg9h
           
    
    4. Foo.Foo#d97e0jhkmd#0 : Nat -> Foo#d97e0jhkmd
       ↓
    5. ┌ Foo.Foo#d97e0jhkmd#0 : Nat -> Foo#d97e0jhkmd
    6. └ Foo.Foo#gq9inhvg9h#0 : Boolean -> Foo#gq9inhvg9h
  
  Added definitions:
  
    7. foo : Nat
  
  Tip: You can use `todo` to see if this generated any work to
       do in this namespace and `test` to run the tests. Or you
       can use `undo` or `reflog` to undo the results of this
       merge.

コントリビューターガイド