Hans Jerry Illikainen
ca779e82c9
merge: add config option for verifySignatures
...
git merge --verify-signatures can be used to verify that the tip commit
of the branch being merged in is properly signed, but it's cumbersome to
have to specify that every time.
Add a configuration option that enables this behaviour by default, which
can be overridden by --no-verify-signatures.
Signed-off-by: Hans Jerry Illikainen <hji@dyntopia.com >
Signed-off-by: Junio C Hamano <gitster@pobox.com >
2017-12-12 10:51:38 -08:00
..
2017-12-06 09:29:50 -08:00
2017-12-06 09:23:44 -08:00
2017-11-13 13:25:19 +09:00
2017-06-05 09:03:10 +09:00
2017-12-06 09:23:45 -08:00
2017-07-25 14:30:49 -07:00
2017-11-27 11:06:31 +09:00
2017-11-17 10:31:05 +09:00
2017-11-02 14:51:24 +09:00
2017-08-23 12:17:22 -07:00
2017-05-09 21:13:13 -07:00
2017-11-13 10:51:14 +09:00
2017-11-02 14:51:24 +09:00
2017-12-06 09:23:36 -08:00
2017-09-14 15:09:02 +09:00
2017-10-18 08:01:48 +09:00
2017-12-06 09:23:35 -08:00
2017-07-18 15:04:49 -07:00
2017-11-18 12:31:29 +09:00
2017-08-23 12:17:22 -07:00
2017-09-20 13:30:10 +09:00
2017-08-23 12:17:22 -07:00
2017-06-12 09:50:33 -07:00
2017-10-19 14:45:45 +09:00
2017-11-15 12:14:32 +09:00
2017-08-14 14:09:45 -07:00
2017-10-18 14:19:12 +09:00
2017-08-26 22:55:04 -07:00
2017-10-01 17:23:05 +09:00
2017-11-09 12:28:30 +09:00
2017-11-06 14:24:24 +09:00
2017-12-06 09:23:40 -08:00
2017-08-23 10:39:41 -07:00
2017-07-28 14:41:32 -07:00
2017-11-22 12:29:30 +09:00
2017-07-13 16:14:54 -07:00
2017-10-24 09:57:54 +09:00
2017-10-18 14:19:11 +09:00
2017-10-03 15:42:47 +09:00
2017-11-22 12:24:47 +09:00
2017-08-23 12:17:22 -07:00
2017-06-27 10:35:49 -07:00
2017-10-28 10:18:40 +09:00
2017-08-23 12:17:22 -07:00
2017-07-06 18:14:46 -07:00
2017-08-22 10:29:03 -07:00
2017-09-12 11:05:58 +09:00
2017-11-22 13:40:25 +09:00
2017-10-31 11:54:21 +09:00
2017-07-12 15:18:21 -07:00
2017-08-23 12:17:22 -07:00
2017-10-18 14:20:43 +09:00
2017-11-21 14:07:50 +09:00
2017-12-06 09:23:44 -08:00
2017-11-17 10:31:05 +09:00
2017-06-18 22:16:36 -07:00
2017-08-23 12:17:22 -07:00
2017-11-21 14:07:50 +09:00
2017-12-06 09:23:43 -08:00
2017-06-22 15:25:25 -07:00
2017-08-23 12:17:22 -07:00
2017-05-15 13:04:54 +09:00
2017-10-27 09:58:38 +09:00
2017-10-18 14:19:12 +09:00
2017-07-17 15:11:26 -07:00
2017-11-13 13:25:19 +09:00
2017-12-12 10:51:38 -08:00
2017-11-06 14:24:24 +09:00
2017-11-27 11:06:31 +09:00
2017-08-26 22:55:04 -07:00
2017-10-18 05:59:34 +09:00
2017-10-28 10:18:42 +09:00
2017-12-06 09:08:59 -08:00
2017-10-27 09:58:38 +09:00