diff options
Diffstat (limited to 'Omni/Agent/merge-tasks.sh')
| -rwxr-xr-x | Omni/Agent/merge-tasks.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Omni/Agent/merge-tasks.sh b/Omni/Agent/merge-tasks.sh deleted file mode 100755 index 833afcf..0000000 --- a/Omni/Agent/merge-tasks.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/usr/bin/env bash -# Omni/Ide/merge-tasks.sh -# Git merge driver for .tasks/tasks.jsonl -# Usage: merge-tasks.sh %O %A %B -# %O = ancestor, %A = current (ours), %B = other (theirs) - -# ANCESTOR="$1" (unused) -OURS="$2" -THEIRS="$3" - -# We want to merge THEIRS into OURS using the task tool's import logic. -REPO_ROOT="$(git rev-parse --show-toplevel)" -TASK_BIN="$REPO_ROOT/_/bin/task" - -# If binary doesn't exist, try to build it? Or just fail safely. -if [ ! -x "$TASK_BIN" ]; then - # Try to find it in the build output if _/bin isn't populated - # But for now, let's just fail if not found, forcing manual merge - exit 1 -fi - -# Use the task tool to merge -# We tell it that the DB is the 'OURS' file -# And we import the 'THEIRS' file -export TASK_DB_PATH="$OURS" -if "$TASK_BIN" import -i "$THEIRS" >/dev/null 2>&1; then - exit 0 -else - exit 1 -fi |
