Remapping hostname prevents using `gh stack submit`
まだ誰も着手していません。
評価
調査の方向性
gh stack submit のエントリポイントから開始し、提供された .gitconfig と .ssh/config のマッピングを使ってリポジトリ検出の失敗を再現します。再マッピングされたホスト名が既知の GitHub ホストと照合される仕組みを追跡します。gh stack submit がこの設定を認識し、通常の GitHub リモート検出を壊さずに処理を続行できれば完了です。
索引モデルが issue の本文から書いたものです。
説明
I use a synthetic hostname mapping in ~/.gitconfig (1) in conjunction with my .ssh/config (2) to select the SSH host key and user identity. In this case, the synthetic hostname is fastalyze.github.com. When I run gh stack submit this happens:
gh stack submit
Checking stack state...
✗ failed to create GitHub client: determining repository: unable to determine current repository, none of the git remotes configured for this repository point to a known GitHub host
I suspect there is a check for stacked PR support based on the hostname, and it's not recognizing fastalyze.github.com.
(1) ~/.gitconfig stanza:
[url "git@fastalyze.github.com:fastalyze/"]
insteadOf = git@github.com:fastalyze/
[url "git@fastalyze.github.com:fastalyze/"]
insteadOf = https://github.com/fastalyze/
(2) .ssh/config stanza:
host fastalyze.github.com
Hostname github.com
User "jeff-younker"
IdentityFile ~/.ssh/id_fastalyze
IdentityAgent none
- 主要言語
- Go
- スター
- 1.5k
- フォーク
- 73
- 平均マージ
- 1日 8時間
- マージ済み PR(30日)
- 7
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
github/gh-stack のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 92/100
-
feature request topic: cli - general
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
feature request topic: auto-merge
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
bug topic: docs
難易度 1/5 1時間未満 初心者へのやさしさ 68/100
github/gh-stack の issue をすべて見る
似ている issue
-
textual definition
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
geneontology/go-ontology#32653 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 75/100
-
needs design
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
Priority/High ready-for-agent Severity/Major Type/Bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100