Bitbucket 社からメールが届いた GitHub と同様のソースコードのレポジトリサービスを提供している BitBucket 社からメールが届いた。 Important changes to Bitbucket Cloud's Free tier 一部の訳を抜粋： スニペットとダウンロード:これらの機能は、無料の…

GitHub で自分のツールを GitHub へリリースするスクリプト。一応、あげておこう リリースノートのテキストファイルの見出しを読んで、最新のバージョンナンバを得る 次のコマンドを実行するか[Y] / しないか[N] / 全部中止する[Q] かを、質問し、Y が入力さ…

Release v0.22.0 · martinvonz/jj (Oct.3, 2024) 例によって、jj split の不具合がまだ直っていません。 が、この数日後に jj で使われている差分編集ライブラリの v0.4.0 がリリースされました。 Release v0.4.0 · arxanas/scm-record (Oct.9, 2024) こちら…

(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」を、レポジトリのオーナー名とレポジトリ名に置き換えればよいよう…