Martin von Zweigbergk 8a2f630ac0 git: start tracking HEAD of underlying Git repo ... This patch adds a place for tracking the current `HEAD` commit in the underlying Git repo. It updates `git::import_refs()` to record it. We don't use it anywhere yet. This is part of #44.		2021-12-01 11:08:53 -08:00
..
op_store.proto	git: start tracking HEAD of underlying Git repo	2021-12-01 11:08:53 -08:00
store.proto
working_copy.proto	working_copy: preserve conflicts in the working copy until markers are removed	2021-11-07 15:17:51 -08:00