標準愚痴出力

個人的なIT作業ログです。もしかしたら一般的に参考になることが書いているかもしれません(弱気

github

Jujutsu レポジトリで GitHub CLI (ghコマンド) を使う

(2024-02-19:追記あり) Using GitHub CLI によると $ GIT_DIR=.jj/repo/store/git gh issue list のように、環境変数 GIT_DIR に .jj ディレクトリ内の git ディレクトリを指定すればよいようです。 nyagos で、gh コマンドを使う時、この指定を自動的に行う…

続・GitHub のアカウントの名前を変更したら起きること 〈AppVeyor編〉

GitHub のアカウントの名前を変更したら起きること - 標準愚痴出力 AppVeyor ログインできなくなってる。GitHub のアカウントを変えたせいか?メールアドレスはすでに使われているみたいに言われる GitHub のアカウント名を変えたらログインできなかった件、…

GitHub のアカウントの名前を変更したら起きること

GitHubのユーザー名を変更してみた - 一から勉強させてください こちらの記事のリポートが参考になるが、それでもいろいろと想定外のことがあったので、記しておきたい。 正直失敗はしたくなかったので、それなりに備えた上で実施に踏み切った。だが白状する…

github の Releases のダウンロード数を curl と jq でお手軽に調べたいッ

次のような API があるようだ。 Releases | GitHub Developer Guide → List releases for a repositor 「GET /repos/:owner/:repo/releases」の意味が分かりにくいが、「:owner」と「:repo」を、レポジトリのオーナー名とレポジトリ名に置き換えればよいよう…