2022年11月7日

GitHub演習、大量BANが出てしまった。同じIPアドレスから作成した大量のアカウントが、同じリポジトリをForkしたからかなぁ。GitHubに連絡してみないと。

GitHubに連絡した。ネットでは「コンタクトフォームから連絡するより、support_at_github.comに直接メールを投げたほうが対応が早い」と書いてあったのでそっちにメールを投げたのだが、すぐにGitHubから「今はメールでサポートを受け付けてないよ。ウェブからアクセスしな」と連絡。ウェブでチケットを切るシステムになったらしい。とりあえず新しいチケットを作成してみた。「講義内容に問題があったら知らせてくれ」と書いたが、一般にはBan基準は明らかにされないことが多いので、どうなるかな。

GitHub演習の演習第二回レポート採点して、返事をアップロードした。