From d4a97e36f797d656b11a67abb7a48a443697c1b6 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg@phi-gamma.net>
Date: Sun, 15 Jul 2018 23:59:51 +0200
Subject: prevent accidental gpg signing during commit

---
 context_mirror_bot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml
index 8e54936..284aa41 100644
--- a/context_mirror_bot.ml
+++ b/context_mirror_bot.ml
@@ -467,7 +467,7 @@ end = struct
                       | None -> raise (Git_branch_failed branch)
                     end;
                   let cmd = Printf.sprintf
-                              "git commit --author=\"Hans Hagen <pragma@wxs.nl>\" --message=\"%s\""
+                              "git commit --no-gpg-sign --author=\"Hans Hagen <pragma@wxs.nl>\" --message=\"%s\""
                               (format_time ts) in
                   let () = log_info cmd in
                   match list_of_pipe cmd with
-- 
cgit v1.2.3