auto-created for kea

This commit was autocreated by AutoGits PR Review Bot removing PRs: PR: dhcp/kea!10
2025-08-28 13:04:28 +00:00 · 2025-08-28 12:37:19 +00:00 · 2025-07-29 16:22:11 +00:00 · 2025-07-07 16:36:28 +00:00 · 2025-07-03 14:47:41 +00:00 · 2025-07-03 11:28:32 +00:00
2 changed files with 4 additions and 1 deletions
--- a/2
+++ b/2
--- a/workflow.config
+++ b/workflow.config
@@ -1,4 +1,7 @@
 {
    "Workflows": ["direct", "pr"],
    "Organization": "dhcp",
+
+    // Require "merge ok" ack before merging
+    "ManualMergeOnly": true,
 }
Author	SHA256	Message	Date
AutoGits PR Review Bot	2cdb7a1242	auto-created for kea This commit was autocreated by AutoGits PR Review Bot removing PRs: PR: dhcp/kea!10	2025-08-28 13:04:28 +00:00
AutoGits PR Review Bot	a8d0cbbccf	auto-created for kea This commit was autocreated by AutoGits PR Review Bot referencing PRs: PR: dhcp/kea!10	2025-08-28 12:37:19 +00:00
AutoGits prjgit-updater	a46733bca3	Automatic update via push via Direct Workflow	2025-07-29 16:22:11 +00:00
AutoGits prjgit-updater	846796417b	Automatic update via push via Direct Workflow	2025-07-07 16:36:28 +00:00
AutoGits prjgit-updater	fcc4fa1834	Automatic update via push via Direct Workflow	2025-07-03 14:47:41 +00:00
AutoGits prjgit-updater	718729c37f	Automatic update via push via Direct Workflow	2025-07-03 11:28:32 +00:00
Adam Majer	7e53e9b38f	Require manual merge OK to merge	2025-06-16 17:55:18 +02:00
AutoGits PR Review Bot	e41c5a88a5	Merging PR: dhcp/_ObsPrj#1	2025-06-16 13:43:42 +00:00