github
(2024-02-19:追記あり) Using GitHub CLI によると $ GIT_DIR=.jj/repo/store/git gh issue list のように、環境変数 GIT_DIR に .jj ディレクトリ内の git ディレクトリを指定すればよいようです。 nyagos で、gh コマンドを使う時、この指定を自動的に行う…
GitHub のアカウントの名前を変更したら起きること - 標準愚痴出力 AppVeyor ログインできなくなってる。GitHub のアカウントを変えたせいか?メールアドレスはすでに使われているみたいに言われる GitHub のアカウント名を変えたらログインできなかった件、…
GitHubのユーザー名を変更してみた - 一から勉強させてください こちらの記事のリポートが参考になるが、それでもいろいろと想定外のことがあったので、記しておきたい。 正直失敗はしたくなかったので、それなりに備えた上で実施に踏み切った。だが白状する…
次のような API があるようだ。 Releases | GitHub Developer Guide → List releases for a repositor 「GET /repos/:owner/:repo/releases」の意味が分かりにくいが、「:owner」と「:repo」を、レポジトリのオーナー名とレポジトリ名に置き換えればよいよう…