mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
Add tip to reflog output showing example diff.namespace usage (#3302)
* Add diff.namespace tip to reflog output * Add @jesselooney to CONTRIBUTORS.markdown * Update transcripts to reflect change to reflog output Co-authored-by: Impartiall <42242696+Impartiall@users.noreply.github.com>
This commit is contained in:
parent
c69b531947
commit
47f7da418f
@ -70,3 +70,4 @@ The format for this list: name, GitHub handle
|
||||
* Travis Staton (@tstat)
|
||||
* Dan Freeman (@dfreeman)
|
||||
* Emil Hotkowski (@emilhotkowski)
|
||||
* Jesse Looney (@jesselooney)
|
||||
|
@ -1422,7 +1422,9 @@ notifyUser dir o = case o of
|
||||
)
|
||||
],
|
||||
"",
|
||||
P.numberedList . fmap renderEntry $ entries
|
||||
P.numberedList . fmap renderEntry $ entries,
|
||||
"",
|
||||
tip $ "Use " <> IP.makeExample IP.diffNamespace ["1", "7"] <> " to compare namespaces between two points in history."
|
||||
]
|
||||
where
|
||||
renderEntry :: Output.ReflogEntry -> Pretty
|
||||
|
@ -70,6 +70,9 @@ y = 2
|
||||
2. #2a4hnm3mcj : add
|
||||
3. #43lqh9lfp3 : builtins.merge
|
||||
4. #sg60bvjo91 : (initial reflogged namespace)
|
||||
|
||||
Tip: Use `diff.namespace 1 7` to compare namespaces between
|
||||
two points in history.
|
||||
|
||||
```
|
||||
If we `reset-root` to its previous value, `y` disappears.
|
||||
|
Loading…
Reference in New Issue
Block a user