こんにちは！ウェブサバイバー運営のYeah-Manです！

さて、先日作業を完了して、いざgitでpush！とサーバーからコマンドを打って実行、『よし行った！』と思い、ローカルに一回持ってくるかとpullしてもなにもかわらない。。。『なんや！？』と思ってサーバー側のCUIを見てみると、『remote: Internal Server Error』との文字が。。。

『なんじゃこりゃ？』ということで調べてみました。

結局よくわからない

調べるとhttpsではなく、sshで接続したところうまくいったり重いファイルを除外したらうまくいったりとまちまちでした。
単純にgithub側で『なんら中のエラーが発生して受け付けない』状態だったのか、少し時間を置いてpushしたところ、うまくいきました。

うーん。不可解。また発生した時に色々いじることがあれば、追記していきたいと思います！

以上、現場からでした！