docs: formal spec + machine-checked proof for git refs over object storage#721

tlongwell-block merged 3 commits into

mainblock/sprout:mainfrom

spec/git-on-object-storageblock/sprout:spec/git-on-object-storageCopy head branch name to clipboard