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

backend: remove unused Commit::is_pruned (#32)

2021-10-06 23:53:15 -07:00

working_copy.proto

working_copy: preserve conflicts in the working copy until markers are removed

2021-11-07 15:17:51 -08:00