Yoichi's diary

_ [jenkins] redmine-plugin

リリースされた。Redmine Website の設定がシステム設定に移動されているので注意。

気になる点があったのでコメントしておいた。

(PR: Globally configured redmine websites)

_ ファンレス

この夏の最初くらいからLet's note のファンが壊れて回ってない状態でだましだまし使っているが、金属の部分触るとやけどしそうでそろそろやばい感じ。

_ 海遊館

夏休み最終日だからか混んでた。

値上がりしているのを知らずに、かつローソンチケットの値引きがなくなっていたのを知らずにチケット引き換え券を買ったために自動発券機が使えなかったのは残念だったけど、増設されたところがわりとよかった。

_ [github] pull request 出した後に commit log の typo に気付いた

試しに上書きで push したらちゃんと pull request に反映してくれた。追加 commit をトラッキングしてくれてるということからブランチ名でトラッキングしているだろうとは後で気付いたが。

_ [github] Checking out Pull Requests locally

ふむふむ。refs/pull/*/headで参照できるのか。

[remote "origin"]
        url = ...
        fetch = +refs/heads/*:refs/remotes/origin/*
        fetch = +refs/pull/*/head:refs/remotes/origin/pr/*

のようにしておくとプルリクエストも取ってきてくれる。