chore: force GitHub merge conflict re-evaluation in grep_search
This commit is contained in:
@@ -65,7 +65,7 @@ def register_tools(mcp: FastMCP) -> None:
|
||||
"line_content": line.strip()
|
||||
})
|
||||
except (UnicodeDecodeError, PermissionError):
|
||||
# As per README: Skips files that cannot be decoded or have permission errors
|
||||
# As per README: Skips the files that cannot be decoded or have permission errors
|
||||
continue
|
||||
|
||||
return {
|
||||
@@ -84,4 +84,7 @@ def register_tools(mcp: FastMCP) -> None:
|
||||
return {"error": f"Permission denied accessing: {path}"}
|
||||
except Exception as e:
|
||||
# 3. Generic Fallback
|
||||
return {"error": f"Failed to perform grep search: {str(e)}"}
|
||||
return {"error": f"Failed to perform grep search: {str(e)}"}
|
||||
# NOTE:
|
||||
# This comment exists to force GitHub to re-evaluate a stale merge conflict.
|
||||
# No functional behavior is changed.
|
||||
|
||||
Reference in New Issue
Block a user