Function gitlinkEmbeddedRepoSkipped

src/extraction/index.ts:728–739

* Whether an embedded repo found as a tracked gitlink (mode 160000, #1031/#1033) * must be SKIPPED rather than indexed. A gitlink is tracked, so `.gitignore` * can't untrack it — but the discovery passes for it must still honor the same * scope rules as every other path, or a gitignored reference

(
  relDir: string,
  prefix: string,
  defaults: Ignore,
  repoIgnore: Ignore,
  includeIgnored: Ignore | null,
)

 * both passed in so they're built once per repo level rather than per gitlink.
 */
function gitlinkEmbeddedRepoSkipped(
  relDir: string,
  prefix: string,
  defaults: Ignore,
  repoIgnore: Ignore,
  includeIgnored: Ignore | null,
): boolean {
  if (defaults.ignores(relDir)) return true;        // default-ignored — never index, opt-in can't revive
  if (!repoIgnore.ignores(relDir)) return false;    // not ignored at all — index as before (#1031/#1033)
  // Gitignored by the repo's own rules — skip unless the project opted it in.
  return !includeIgnored?.ignores(normalizePath(prefix + relDir));
}

/**
 * Standalone discovery of every embedded repo root under `rootDir` (relative,