jj/demos
Martin von Zweigbergk 50ba571527 log: move commit ID off to the right
We have talked about showing the commit ID only for divergent changes
because it's generally easier to work with the change ID, and it's
less likely to result in a divergent change. However, it's useful to
have the commit ID available for pasting into e.g. a commit message or
the GitHub UI. To try to steer users towards using the change ID, this
commit moves the commit ID off to the right in the log output.

I put it just after the "divergent" field, because that makes it close
to how I imagine it would look if we decided to hide the commit ID
except for divergent changes. I was thinking that could be rendered as
"divergent (abc123)". So if we add config to hide the commit ID, then
it would be rendered almost the same for divergent commits (just with
the added parentheses). It would also make sense to replace the
"divergent" field by a question mark on the change ID, since change
IDs basically behave like branches. If we do that, then the placement
of the commit ID I picked in this commit does not make sense.
2022-11-14 07:49:52 -08:00
..
demo_git_compat.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
demo_helpers.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
demo_juggle_conflicts.sh demos: allow running without ui.allow-init-native = true 2022-11-14 00:25:24 -08:00
demo_operation_log.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
demo_resolve_conflict.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
demo_working_copy.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
git_compat.png log: move commit ID off to the right 2022-11-14 07:49:52 -08:00
juggle_conflicts.png log: move commit ID off to the right 2022-11-14 07:49:52 -08:00
operation_log.png log: move commit ID off to the right 2022-11-14 07:49:52 -08:00
resolve_conflicts.png log: move commit ID off to the right 2022-11-14 07:49:52 -08:00
working_copy.png log: move commit ID off to the right 2022-11-14 07:49:52 -08:00