diff --git a/docs/tutorial.md b/docs/tutorial.md index 055016358..c604da1f3 100644 --- a/docs/tutorial.md +++ b/docs/tutorial.md @@ -172,13 +172,12 @@ It's the root commit of every repo. The `root` symbol in the revset matches it.) There are also operators for getting the parents (`:foo`), children `foo:`, ancestors (`,,foo`), descendants (`foo,,`), DAG range (`foo,,bar`, like `git log --ancestry-path`), range (`foo,,,bar`, like Git's `foo..bar`). There -are also a few more functions, such as `public_heads()`, which is the set of -revisions that have Git remote-tracking branches pointing to them, except those -that are ancestors of other revisions in the set. Let's define an alias based on -that by adding the following to `~/.jjconfig`: +are also a few more functions, such as `heads()`, which filters out +revisions in the input set if they're ancestors of other revisions in the set. +Let's define an alias based on that by adding the following to `~/.jjconfig`: ``` [alias] -l = ["log", "-r", "(public_heads(),,,@),,"] +l = ["log", "-r", "(heads(remote_branches()),,,@),,"] ``` The alias lets us run `jj l` to see the commits we have created between public