Automatic update via push via Direct Workflow

2025-08-28 13:13:17 +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 · 2025-06-16 17:55:18 +02: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 prjgit-updater	3d5e5c272e	Automatic update via push via Direct Workflow	2025-08-28 13:13:17 +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