GitHub

GitHub プロフィールを作る

概要 気になってた、GitHub のプロフィールカードを作ってみた。 出来上がりはこんな感じ。 作り方 Managing your profile README - GitHub Docs ここに載ってる。 ユーザー名と同じ名前で public リポジトリを作ると、 README に書いた内容が自分のプロフィ…

GitHub でサブチームを作ったらリポジトリの権限が剥がされた #GitHub

問題 GitHub のチーム機能を使ってサブチームを作ったら意図しない挙動になった。 サブチームを作ってリポジトリ Admin 権限を付与し、親チームは Write 権限にしようとしたところ、サブチームの権限が変更されてしまう事象が発生した。 GitHub のチーム機能…

GitHubのAPIを使って、Releaseコンテンツを取得する

概要 GitHubのAPIも触らないまま大人になってしまった。 せっかくなのでモブプロにお世話になっているMobsterをAPI経由でダウンロードしてみます。 Releaseコンテンツ リリースページからDownloadできるやつらのことです。 APIの表現だとassetsというようで…

GitHubで何か自動化するならdeploy keysが便利だ

GitHubで特定リポジトリに対して何かを自動化する時、専用のアカウント用意しないとダメかなー、なんて考えていたらDeploy Keyと言うものがあった。 Managing deploy keys | GitHub Developer Guide deployという名前だけど、deploy以外にも使える。 ReadOnl…

GitHubでtagをmasterにする

概要 GitHub上のOSSをフォークして開発したい。 でも、フォーク元のmasterではなくtagから派生させたい。 ので自分のリポジトリ(フォーク先)ではtagをmasterにする手順。 手順 リポジトリをForkする GitHubから普通にForkするだけ tagを開発ブランチとして…

IntelliJ IDEAのプロジェクトをGitHubのリポジトリに連携する

既存の空リポジトリに連携する 空リポジトリをGitHub側で作成して、そこに入れ込む場合はgit remote addをコマンドラインでやるしかない模様。 https://youtrack.jetbrains.com/issue/IDEA-87099 ターミナル起動のショートカットは手に馴染ませたいところ。…