Incorrect "PR #5 remains open" remains open after git stack modify for a PR that is already closed
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 65/100
Direzione di ricerca
Inizia con il flusso di salvataggio di git stack modify, inclusa l'output di gs modify che segnala come ancora aperto un livello scartato. Verifica come viene ottenuto lo stato della PR GitHub prima di questo messaggio; completato quando una PR già chiusa su GitHub non viene segnalata come aperta dopo l'eliminazione del livello.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
- Use
gs submitto create stack with depth 2. Let's say branch nameslayer1andlayer2 - I close the PR for
layer2in the GitHub UI - I want to remove the stack locally, so I use
git stack modify, pressxto delete the layer, and thenControl+Sto save.
I get the following output
$ gs modify
✓ Dropped layer2 from stack
✓ Stack modified successfully
Dropped: layer 2(PR #53155 remains open — close with `gh pr close 53155`)
Run `gh stack submit` to push your changes and update the stack of PRs on GitHub
Now gh cli can clearly tell the PR is already closed, because when I try to close it:
$ gh pr close 53155
! Pull request repo#53155 (PR Title) is already closed
I think a fix will be doing a resync on the state from GitHub before showing this message.
- Lingua principale
- Go
- Stelle
- 1.5k
- Fork
- 73
- Merge medio
- 1g 8h
- PR unite (30g)
- 7
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di github/gh-stack
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
-
feature request topic: cli - general
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
feature request topic: auto-merge
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
bug topic: docs
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
Tutte le issue di github/gh-stack
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
NVIDIA/gpu-operator#2955 ·
-
agentic-workflows
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Broadcast Documentation Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
kovidgoyal/kitty#10516 ·
-
CVE-2024-24786 CPE mismatch Apertabug
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
cisagov/vulnrichment#337 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100