diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-15 23:59:51 +0200 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-15 23:59:51 +0200 |
commit | d4a97e36f797d656b11a67abb7a48a443697c1b6 (patch) | |
tree | 2d6c6b6b19d6b9e76a6ca3a7ab17bc5bf95dd9ae | |
parent | e21d5813c2541c038996b2c406adfcd0dfff7493 (diff) | |
download | context-mirror-bot-d4a97e36f797d656b11a67abb7a48a443697c1b6.tar.gz |
prevent accidental gpg signing during commit
-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 |