github / github/copilot-cli

Copilot requires "directory access" when searching Git commit history via `git log -L /<regex>/,/<regex>/`

Abierto
#2,251 1 comentario 1 reacción 0 asignados Ver en GitHub
area:permissions
Lenguaje dominante
Shell
Estrellas
11.2k
Forks
1.9k
Merge medio
14 h 16 min
PR fusionados (30 d)
6

Descripción

### Describe the bug

Copilot (or more likely, Claude Opus) is still quite clumsy when it comes to investigating Git commit history effectively. So I frequently tell it not to pipe `git log` output into `head` or `tail` or `grep` but instead to use the available options, such as `--grep `, `-G` or `-L //,//`. The latter, however, is mistaken by Copilot as a directory access, leading to strange/funny questions like this:

```

● Trace lints section origin (shell)
└ cd /home/me/wip && git
--no-pager log -L '/\[lints/,/all.*deny/':Cargo.toml
--oneline --no-patch HEAD | head -5

╭─────────────────────────────────────────────────────────────╮
│ Allow directory access │
│ ─────────────────────────────────────────────────────────── │
│ This action may read or write the following path outside │
│ your allowed directory list. │
│ │
│ ╭─────────────────────────────────────────────────────────╮ │
│ │ /\[lints/,/all.*deny/ │ │
│ ╰─────────────────────────────────────────────────────────╯ │
│ │
│ Do you want to allow this? │
│ │
│ 1. Yes │
│ ❯ 2. Yes, and add these directories to the allowed list │
│ 3. No (Esc) │
│ │
│ ↑↓ to navigate · Enter to select · Esc to cancel │
╰─────────────────────────────────────────────────────────────╯
```

### Affected version

1.0.9

### Steps to reproduce the behavior

1. Ask Copilot to run a `git log -L` command with regular expressions
2. observe the bogus "Allow directory access" question

### Expected behavior

Copilot should not mistake the ` in `git log -L ` for a directory.

### Additional context

_No response_

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.