2020-02-13 18:59:53 +03:00
|
|
|
```ucm:hide
|
2024-07-03 21:22:09 +03:00
|
|
|
scratch/main> builtins.merge lib.builtins
|
2020-02-13 18:59:53 +03:00
|
|
|
```
|
|
|
|
|
2024-07-04 02:10:35 +03:00
|
|
|
First we make some changes to the codebase so there's data in the reflog.
|
2019-10-11 01:45:53 +03:00
|
|
|
|
|
|
|
```unison
|
|
|
|
x = 1
|
|
|
|
```
|
|
|
|
```ucm
|
2024-07-03 21:22:09 +03:00
|
|
|
scratch/main> add
|
2019-10-11 01:45:53 +03:00
|
|
|
```
|
|
|
|
```unison
|
|
|
|
y = 2
|
|
|
|
```
|
|
|
|
```ucm
|
2024-07-03 21:22:09 +03:00
|
|
|
scratch/main> add
|
2024-07-04 02:10:35 +03:00
|
|
|
scratch/main> branch /other
|
|
|
|
scratch/other> alias.term y z
|
|
|
|
newproject/main> builtins.merge lib.builtins
|
|
|
|
newproject/main> alias.type lib.builtins.Nat MyNat
|
2019-10-11 01:45:53 +03:00
|
|
|
```
|
2024-07-04 02:10:35 +03:00
|
|
|
|
|
|
|
Should see reflog entries from the current branch
|
|
|
|
|
2019-10-11 01:45:53 +03:00
|
|
|
```ucm
|
2024-07-03 21:22:09 +03:00
|
|
|
scratch/main> reflog
|
2019-10-11 01:45:53 +03:00
|
|
|
```
|
|
|
|
|
2024-07-04 02:10:35 +03:00
|
|
|
Should see reflog entries from the current project
|
|
|
|
|
2019-10-11 01:45:53 +03:00
|
|
|
```ucm
|
2024-07-04 02:10:35 +03:00
|
|
|
scratch/main> project.reflog
|
2019-10-11 01:45:53 +03:00
|
|
|
```
|
2024-07-04 02:10:35 +03:00
|
|
|
|
|
|
|
|
|
|
|
Should see reflog entries from all projects
|
|
|
|
|
|
|
|
```ucm
|
|
|
|
scratch/main> reflog.global
|
2019-10-11 01:45:53 +03:00
|
|
|
```
|