Kyle Lippincott

I was going for simpler, and just saying we should delete these three lines: https://github.com/jj-vcs/jj/blob/f4b5460a09a603aac1035ca7f853c4a3c93e0cb5/cli/src/config.rs#L673-L675.

There's not that many tools that invoke `$PAGER` that I was able to think of: `man`, `git`, `hg`, `jj`. Debian's `/usr/bin/sensible-pager`. Is there really anything else that's commonly using `$PAGER`?...

[My apologies for the long reply here] #### Full proposal I think I didn't include as much context as I should have; I didn't include all of the details for...

If/when jj becomes wildly popular, we should not assume that people will read the README, or that they'll be using the CLI at all. There are multiple GUIs available already,...

> But if you are making an interface, make it anyway you want without changing `jj`. I don't think implying that I should not even _propose_ changing things in `jj`...

> Would these same folks go for an "edit" alias if they were using Git? Yes, most likely, if 'checkout' wasn't an available verb, which it isn't with `jj`. When...

> Some of whom have been known to argue that it has fewer sharp corners and an easier mental model and should be the main one taught to new people....

> I think it's more visual noise. One way of reducing visual noise would be to remove labels like `(empty)` that aren't necessary, like in my original proposal ;) But...

> One suggestion I have is to create a new `:envpager` "pager", in addition to `:builtin`, that uses the old logic and `$PAGER`. Then, it'd be easier for people to...

I'm not super familiar with GitHub etiquette, so my apologies if I'm about to do the wrong thing (and if so, feel free to back it out), but I'm going...