Attention needed from Aidan Wolter, Oliver Newman and Owners Override
John Wittrock has uploaded the change for review![Open in Gerrit]()
John Wittrock would like Owners Override to review this change.
Commit message
[gemini-cli] Disable recursive file search in fuchsia.git
It bogs down the gemini-cli UI to the point of crashing.
Test: updated gemini-cli, can use the @ command reliably with this setting
Change-Id: I26e7904c2130700abed50208b187284a10f3d084
Change diff
diff --git a/.gemini/OWNERS b/.gemini/OWNERS
new file mode 100644
index 0000000..6ba1b2f
--- /dev/null
+++ b/.gemini/OWNERS
@@ -0,0 +1,4 @@
+witt...@google.com
+aba...@google.com
+nickv...@google.com
+ky...@google.com
diff --git a/.gemini/settings.json b/.gemini/settings.json
new file mode 100644
index 0000000..917d5b46
--- /dev/null
+++ b/.gemini/settings.json
@@ -0,0 +1,6 @@
+{
+ "fileFiltering": {
+ "respectGitIgnore": true,
+ "enableRecursiveFileSearch": false
+ }
+}
diff --git a/.gitignore b/.gitignore
index 7d47bfd..ad0f7b1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -81,7 +81,6 @@
### Directories to be ignored across the tree
.cipd/
.idea/
-.gemini/
### Top-level directories
/.jiri/
@@ -255,3 +254,6 @@
# Nix shell
/shell.nix
/default.nix
+
+# gemini-cli logs
+.gemini/logs.json
diff --git a/OWNERS b/OWNERS
index 22db941..89894fd 100644
--- a/OWNERS
+++ b/OWNERS
@@ -58,4 +58,4 @@
per-file .ignore = *
-per-file GEMINI.md = witt...@google.com, aba...@google.com, nickv...@google.com, ky...@google.com
+per-file GEMINI.md = file:.gemini/OWNERS
Change information
Files:
- A .gemini/OWNERS
- A .gemini/settings.json
- M .gitignore
- M OWNERS
Change size: S
Delta: 4 files changed, 14 insertions(+), 2 deletions(-)
Open in GerritRelated details
Attention is currently required from:
- Aidan Wolter
- Oliver Newman
- Owners Override
Gerrit-MessageType: newchange
Gerrit-Project: fuchsia
Gerrit-Branch: main
Gerrit-Change-Id: I26e7904c2130700abed50208b187284a10f3d084
Gerrit-Change-Number: 1310884
Gerrit-PatchSet: 6
You received this message because you are subscribed to the Google Groups "owners-override" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
.