Merge pull request #5929 from urbit/jon/remove-dork

clay: remove $dork
This commit is contained in:
fang 2022-09-15 22:23:56 +02:00 committed by GitHub
commit bdf9f9d044
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -125,23 +125,6 @@
fod=flue :: ford cache
== ::
::
:: Commit state.
::
:: -- `del` is the paths we're deleting.
:: -- `ink` is the insertions of hoon files (short-circuited for
:: bootstrapping).
:: -- `ins` is all the other insertions.
:: -- `dif` is the diffs in `dig` applied to their files.
:: -- `mut` is the diffs between `muc` and the original files.
::
+$ dork :: diff work
$: del=(list path) :: deletes
ink=(list (pair path cage)) :: hoon inserts
ins=(list (pair path cage)) :: inserts
dif=(list (trel path lobe cage)) :: changes
mut=(list (trel path lobe cage)) :: mutations
== ::
::
:: Over-the-wire backfill request/response
::
+$ fill