Martin von Zweigbergk 626fbee0dd cli: show Git HEAD in log output ... It's useful to know which commit is checked out in the underlying Git repo (if there is one), so let's show that. This patch indicates that commit with `HEAD@git` in the log output. It's probably not very useful when the Git repo is "internal" (i.e. stored inside `.jj/`), because then it's unlikely to change often. I therefore considered not showing it when the Git repo is internal. However, it turned out that `HEAD` points to a non-existent branch in the repo I use, so it won't get imported anyway (by the function added in the previous patch). We can always review this decision later. This is part of #44.		2021-12-01 11:08:53 -08:00
..
commands.rs	cli: show Git HEAD in log output	2021-12-01 11:08:53 -08:00
diff_edit.rs	cli: don't materialize conflicts when editing diffs	2021-11-07 15:17:51 -08:00
formatter.rs	cli: show Git HEAD in log output	2021-12-01 11:08:53 -08:00
graphlog.rs	cleanup: let Clippy fix a bunch of warnings	2021-06-14 00:27:31 -07:00
lib.rs	styler: rename Styler to more standard Formatter	2021-06-05 08:38:28 -07:00
main.rs	project: rename project from Jujube to Jujutsu	2021-05-15 10:28:40 -07:00
template.pest
template_parser.rs	cli: show Git HEAD in log output	2021-12-01 11:08:53 -08:00
templater.rs	cli: show Git HEAD in log output	2021-12-01 11:08:53 -08:00
testutils.rs	working_copy: move logic for creating commit to caller	2021-08-15 18:55:09 -07:00
ui.rs	cleanup: let Clippy fix a bunch of warnings	2021-06-14 00:27:31 -07:00