github actionsで構成されているCIのスピードアップを図りたくなった。そんなわけでどのactionがどの程度時間が掛かっているかが知りたくなった。 もちろん個別にweb uiを覗いていけばそれぞれの実行時間などを確認する事はできるのだけれど、めんどくさい1…

今までnotificationが貯まっていた 今までは気になるrepositoryをwatchしていたんですが、github notificationが壊滅していました。数千件くらいnotification貯まる感じです。これが解決できたのでそれのメモ。 org:<orgnization> というfilter そんなわけで、自分のrepos</orgnization>…

毎年この方法を調べている気がするが、今年はGithub CLIがGraphQL APIの呼び出しをサポートしたようなので、コレを使って出力してみることにする1。GraphQL自体を試したい場合には、 https://docs.github.com/en/free-pro-team@latest/graphql/overview/expl…

github.com 最近githubがhubの代わりにghという新しいgithub用のCLIツールを出していました。cli/cliという位置にあるので組織名とリポジトリ名がすごい。特等席。 例えばmacでは以下の様な形でインストールすると、このghコマンドが使える様になる。 $ brew…

.gitattributesをいじって特定のファイルをgithubのPRのdiffの対象から外す方法のメモ。 TL;DR .gitattributes <隠したいファイルのディレクトリ>/* linguist-generated はじめに 例えばコード生成をしたり、利用の過程で複数のファイルを１つにまとめたファ…

github上で特定のownerの持つrepositoryを全部cloneしたくなった。 具体的にはjupyter関連のコードを雑に手元に持っておきたかった。以下のワンライナーで済む(ただし100個以下の場合)。 $ TARGETNAME=jupyter $ http -b --pretty=format https://api.github…