昨日(2019年10月12日)は台風がすごかったわけですが、それによるものか、昼前から外部接続性が不安定で、 ping が 3.5% 程度ロスする状態になっていました(平常時はもちろんそんなことはない)。たった 64 バイトの ping すらこれぐらい落ちるとロクな通信はできなさそうに思えるのですが、最近の TCP はいろいろ頑張っているのか、そこまでひどいことにはならないようです。

ネットはフレッツで電柱の上のファイバを通っているので強風で揺られて不安定になっているのかと思っていたのですが、みんな自宅にいてネットを使っているせいで輻輳しているという可能性も考えられます。どうやったら区別できますかね。

GitHub の Web UI で PR をマージした時のコミットの Author や Commit がどうなるかという話です。PR のマージ以外にも GitHub 上でコミットを生成する方法は他にもあったはずですが、おそらく同じことになると思います。

Read the rest of this entry