github / github/copilot-cli

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

Ouverte
#2,251 1 commentaire 1 réaction 0 personnes assignées Voir sur GitHub
area:permissions
Langage dominant
Shell
Étoiles
11.2k
Forks
1.9k
Merge moyen
14 h 16 min
PR mergées (30 j)
6

Description

### 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_

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.