1 files changed, 5 insertions, 0 deletions
diff --git a/save.pl~ b/save.pl~
index 1a720c4..d9881e3 100644
--- a/save.pl~
+++ b/save.pl~
@@ -80,3 +80,8 @@ chain_atom_x(C, A0, A) :-
 	    chain_atom_x(C, A3, A)
 	;   A = A0
 	).
+
+commit(Msg) :-
+	process_create(path(git), ['commit', '-m', Msg], [])
+	;
+	true.