4 Commits

Author SHA256 Message Date
AutoGits PR Review Bot
a1800452fc auto-created for kea
This commit was autocreated by AutoGits PR Review Bot removing
 PR: dhcp/kea#6
2025-07-03 11:10:18 +00:00
AutoGits PR Review Bot
63fc361605 auto-created for kea
This commit was autocreated by AutoGits PR Review Bot referencing
 PR: dhcp/kea#6
2025-07-01 12:33:15 +00:00
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

View File

@@ -1,4 +1,7 @@
{
"Workflows": ["direct", "pr"],
"Organization": "dhcp",
// Require "merge ok" ack before merging
"ManualMergeOnly": true,
}