@yemi33/minions 0.1.2257 → 0.1.2259

package/dashboard.js

@@ -13390,7 +13390,7 @@ What would you like to discuss or change? When you're happy, say "approve" and I
       }
     }},
 
-    { method: 'POST', path: '/api/pull-requests/delete', desc: 'Remove a PR from tracking', params: 'id, project?', handler: async (req, res) => {
+    { method: 'POST', path: '/api/pull-requests/delete', desc: 'Remove a PR from tracking (sets userDeleted tombstone so pollers do not re-add it)', params: 'id, project?', handler: async (req, res) => {
       const body = await readBody(req);
       const { id } = body;
       if (!id) return jsonReply(res, 400, { error: 'id required' });
@@ -13403,12 +13403,19 @@ What would you like to discuss or change? When you're happy, say "approve" and I
       let found = false;
       for (const prPath of prPaths) {
         if (found) break;
-        mutateJsonFileLocked(prPath, (prs) => {
+        // Issue #384: use a tombstone (userDeleted:true) instead of splice so
+        // the next poller cycle cannot re-add the PR. The entry stays in the
+        // file but is filtered from API responses and skipped by pollers.
+        shared.mutatePullRequests(prPath, (prs) => {
           if (!Array.isArray(prs)) return prs;
-          const idx = prs.findIndex(p => p.id === id);
-          if (idx >= 0) { prs.splice(idx, 1); found = true; }
+          const pr = prs.find(p => p.id === id);
+          if (pr) {
+            pr.userDeleted = true;
+            pr.userDeletedAt = shared.ts();
+            found = true;
+          }
           return prs;
-        }, { defaultValue: [] });
+        });
       }
       if (!found) return jsonReply(res, 404, { error: 'PR not found' });
       invalidateStatusCache();

package/engine/dispatch.js

@@ -1123,7 +1123,7 @@ function cleanDispatchEntries(matchFn) {
         const { execFileSync } = require('child_process');
         execFileSync('taskkill', ['/PID', String(safePid), '/F', '/T'], { stdio: 'pipe', timeout: 5000, windowsHide: true });
       } else {
-        process.kill(safePid, 'SIGTERM');
+        shared.killGracefully({ pid: safePid }, 5000);
       }
     } catch { /* may already be dead */ }
   }

package/engine/pipeline.js

@@ -722,7 +722,7 @@ async function executeApiStage(stage, stageState, run) {
   const timeoutMs = ENGINE_DEFAULTS.pipelineApiTimeoutMs;
 
   for (const call of calls) {
-    const port = shared.readDashboardPortFile(MINIONS_DIR)?.port || (process.env.MINIONS_PORT && parseInt(process.env.MINIONS_PORT, 10)) || 7331;
+    const port = shared.readDashboardPortFile(MINIONS_DIR)?.port || 7331;
     const url = `http://localhost:${port}${call.endpoint}`;
     const body = typeof call.body === 'string' ? call.body : JSON.stringify(call.body || {});
 

package/engine/queries.js

@@ -981,6 +981,8 @@ function getPullRequests(config) {
   const groupsById = new Map();
   for (const pr of sqlPrs) {
     if (!pr || !pr.id) continue;
+    // Issue #384: skip tombstoned records (user explicitly deleted)
+    if (pr.userDeleted === true) continue;
     if (!groupsById.has(pr.id)) {
       const g = [];
       groupsById.set(pr.id, g);

package/engine/shared.js

@@ -7003,6 +7003,13 @@ function upsertPullRequestRecord(prPath, entry, { project = null, itemId = null,
   mutatePullRequests(prPath, (prs) => {
     normalizePrRecords(prs, project);
     let target = findPrRecord(prs, normalizedEntry, project);
+    // Issue #384: tombstoned records (userDeleted:true) must not be re-activated
+    // by any poller path. Return skipped so reconcilePrs / shared-branch-reconcile
+    // cannot resurrect a PR the user explicitly removed.
+    if (target && target.userDeleted === true) {
+      skipped = true;
+      return prs;
+    }
     if (!target && typeof beforeInsert === 'function' && beforeInsert(prs, normalizedEntry) === false) {
       skipped = true;
       return prs;
@@ -7845,8 +7852,8 @@ function mutateWorkItems(filePath, mutator) {
     if (wrote) {
       try { store._mirrorJsonFromSql(scope, filePath); } catch { /* mirror best-effort */ }
       try { require('./db-events').emitStateEvent('work_items'); } catch { /* optional */ }
+      try { require('./queries').invalidateWorkItemsCache(); } catch { /* queries not loaded */ }
     }
-    try { require('./queries').invalidateWorkItemsCache(); } catch { /* queries not loaded */ }
     return result;
   }
 
@@ -7859,9 +7866,9 @@ function mutateWorkItems(filePath, mutator) {
     _skipSqlRouting: true,
     onWrote: () => {
       try { require('./db-events').emitStateEvent('work_items'); } catch { /* optional */ }
+      try { require('./queries').invalidateWorkItemsCache(); } catch { /* queries not loaded */ }
     },
   });
-  try { require('./queries').invalidateWorkItemsCache(); } catch { /* queries not loaded */ }
   return result;
 }
 

package/engine.js

@@ -6622,6 +6622,8 @@ async function discoverFromPrs(config, project) {
 
   for (const pr of prs) {
     if (pr.status !== PR_STATUS.ACTIVE) continue;
+    // Issue #384: skip tombstoned PRs (user explicitly deleted via dashboard)
+    if (pr.userDeleted === true) continue;
     if (shared.isContextOnlyPrRecord(pr)) {
       _logPrDispatchSkipOnce(pr, 'context-only');
       continue;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@yemi33/minions",
-  "version": "0.1.2257",
+  "version": "0.1.2259",
   "description": "Multi-agent AI dev team that runs from ~/.minions/ — five autonomous agents share a single engine, dashboard, and knowledge base",
   "bin": {
     "minions": "bin/minions.js"