Incorrect "PR #5 remains open" remains open after git stack modify for a PR that is already closed

オープン
#453 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
3/5
見積もり時間
1〜2日
初心者へのやさしさ
65/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
活発
技術スタック
github, go
領域
api, cli

調査の方向性

git stack modify の保存フローから始め、削除されたレイヤーがまだ open であると報告する gs modify の出力も確認します。このメッセージの前に GitHub PR の状態がどのように取得されているかを確認します。GitHub ですでにクローズされている PR が、レイヤーを削除した後に open として報告されなくなれば完了です。

索引モデルが issue の本文から書いたものです。

説明

bug topic: cli - modify
  1. Use gs submit to create stack with depth 2. Let's say branch names layer1 and layer2
  2. I close the PR for layer2 in the GitHub UI
  3. I want to remove the stack locally, so I use git stack modify, press x to delete the layer, and then Control+S to 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.

主要言語
Go
スター
1.5k
フォーク
73
平均マージ
1日 8時間
マージ済み PR（30日）
7

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

github/gh-stack のほかの issue

github/gh-stack の issue をすべて見る

似ている issue

Go の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。