Github の Notification を ON にしてなかったので気づかなかったが 最近全然触ってなかった org-redmine を久々に見たらなんか pull request きてる！！！いやー pull request 来たの初めてなんで嬉しいですね。 お相手はロシアの方。うむ。わからん。簡単…