mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
Assert that history is properly merged for empty namespaces
This commit is contained in:
parent
d5dbafcf88
commit
c555190c17
@ -27,3 +27,10 @@ The history of the namespace should still exist if requested explicitly.
|
||||
.> history mynamespace
|
||||
```
|
||||
|
||||
Merging an empty namespace should still copy its history if it has some.
|
||||
|
||||
```ucm
|
||||
.empty> history
|
||||
.empty> merge .mynamespace
|
||||
.empty> history
|
||||
```
|
||||
|
@ -46,3 +46,30 @@ The history of the namespace should still exist if requested explicitly.
|
||||
□ #hkrqt3tm05 (start of history)
|
||||
|
||||
```
|
||||
Merging an empty namespace should still copy its history if it has some.
|
||||
|
||||
```ucm
|
||||
☝️ The namespace .empty is empty.
|
||||
|
||||
.empty> history
|
||||
|
||||
☝️ The namespace .empty is empty.
|
||||
|
||||
.empty> merge .mynamespace
|
||||
|
||||
Nothing changed as a result of the merge.
|
||||
|
||||
.empty> history
|
||||
|
||||
Note: The most recent namespace hash is immediately below this
|
||||
message.
|
||||
|
||||
⊙ #qjc20aua9h
|
||||
|
||||
- Deletes:
|
||||
|
||||
x
|
||||
|
||||
□ #hkrqt3tm05 (start of history)
|
||||
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user