summaryrefslogtreecommitdiff
path: root/src/commit.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/commit.mli')
-rw-r--r--src/commit.mli7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/commit.mli b/src/commit.mli
index e765f48..da97389 100644
--- a/src/commit.mli
+++ b/src/commit.mli
@@ -1,3 +1,5 @@
+type tree_source = DELETE | ADD
+
type status = {
success : bool;
out : string;
@@ -9,8 +11,9 @@ type node_data = {
tag_value: string option;
arg_value: string option;
path: string list;
+ source: tree_source;
reply: status option;
-} [@@deriving yojson]
+} [@@deriving to_yojson]
type commit_data = {
session_id: string;
@@ -21,7 +24,7 @@ type commit_data = {
background: bool;
init: status option;
node_list: node_data list;
-} [@@deriving yojson]
+} [@@deriving to_yojson]
val default_node_data : node_data