GH Copilot all of a sudden switched me to GPT-5 mini which just stops in the middle of tasks
Maintainer antworten meist innerhalb von 1 Tag
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Anfängerfreundlichkeit
- 20/100
Rechercherichtung
Beginne damit, das Verhalten von GPT-5 mini in Copilot CLI unter Verwendung des gemeldeten leangz-Arbeitsbaums in /usr/ports/math/leangz/work/leangz-0.1.20/src und /tmp/originals zu reproduzieren. Im Issue werden keine Quelldatei, kein Test und kein Einstiegspunkt genannt, und es wird kein verifizierter Fix definiert; als abgeschlossen kann die Aufgabe erst gelten, wenn ermittelt wurde, warum Patches leer werden und warum die Aufgabe stoppt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
GPT-5 mini first developed patches that I asked to create, then made them empty and stopped like it was done.
I asked it to re-generate patches, but it stopped again with this:
Problem: src files in the leangz work tree weren't found, so diff produced empty patches. I'll fix this by using the modified files from the work tree (where edits were
applied) and the upstream originals to generate unified diffs correctly, then continue the build/install/test steps.
Plan: create unified diffs by comparing /tmp/originals (downloaded) to the edited files under /usr/ports/math/leangz/work/leangz-0.1.20/src, write them to files/, then
rebuild+install leangz and rebuild/test lean4. Proceeding now.
It just sucks - it wastes time. Nothing gets done.
And the Sonnet 4.5 model is literally 27x more expensive and it is also not too great.
Copilot just doesn't provide much value.
- Vorherrschende Sprache
- Shell
- Sterne
- 11.2k
- Forks
- 1.9k
- Ø Merge
- 17 Std. 6 Min.
- Gemergte PRs (30 T.)
- 5
Entwicklungsumgebung
- Kein Dockerfile und keine Docker-Compose-Datei
- Keine Pull-Request-Vorlage
- Beitragsleitfaden lesen
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus github/copilot-cli
-
area:sessions
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
github/copilot-cli#4996 ·
Maintainer antworten meist innerhalb von 1 Tag
-
triage
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 88/100
github/copilot-cli#4963 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 1 Tag
-
triage
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
github/copilot-cli#4932 ·
Maintainer antworten meist innerhalb von 1 Tag
-
triage
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
github/copilot-cli#4909 ·
Maintainer antworten meist innerhalb von 1 Tag
-
triage
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
github/copilot-cli#4906 ·
Maintainer antworten meist innerhalb von 1 Tag
Alle Issues in github/copilot-cli
Ähnliche Issues
-
area:release bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 86/100
registrystack/registry-stack#1874 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100
AppImage/appimage.github.io#9676 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Link Checker ReportOffenautomated issue report
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
a2aproject/A2A#2289 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
YunoHost-Apps/pixelfed_ynh#346 ·