某GitHubで管理されてるドキュメントが微妙に間違ってて、おっ\ｺﾝﾄﾘﾋﾞｭｰﾄﾁｬﾝｽ!/と思ったら、その修正となるpull-reqはすでに出されてて、何ならapproveされてるのにmergeされてないだけだった。ぐんにゃり。