diff options
| -rw-r--r-- | context_mirror_bot.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |