ネットの海の片隅で

技術ネタの放流、あるいは不法投棄。

GitHub

GitHubのIssues/Pull requestsにopen/closeした週で絞り込むフィルタを追加する

やりたいこと Issues/Pull requestsを作成した週で絞り込む。 Issues/Pull requestsをクローズした週で絞り込む。 週ごとの振り返りとかで使いたい。 実現方法 dotjs用のスクリプトを追加する。 参考:defunkt/dotjs · GitHub Before デフォルトのUI。「先週…