unisonweb/unison
View on GitHubcreate new output message for merge resulting in conflicted patch
Open
#1,206 opened on Feb 5, 2020
help wanted
Repository metrics
- Stars
- (6,624 stars)
- PR merge metrics
- (Avg merge 12d 19h) (6 merged PRs in 30d)
Description
Here's the current output.
.> merge nsz nsw
A patch needs to be conflict-free.
Here's what's changed in nsw after the merge:
New name conflicts:
1. a#ekguc9h648 : Nat
↓
2. ┌ a#5f8uodgrtf : Nat
3. └ a#ekguc9h648 : Nat
Updates:
4. b#be9a2abbbg : Nat
There were 1 auto-propagated updates.
5. patch patch (added 1 updates)
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.
Should explicitly say that it wasn't able to run the patch after the merge, due to conflicts; and should probably come at the bottom, so you actually see it.