3 ms·

I rolled my eyes twice, then merged a few PRs manually and moved on with my day. (i.e. the git server itself and all the API required to interact with the CI au

• umanwizard 7y ago
  The actual server was broken for me: $ git push Enumerating objects: 26, done. Counting objects: 100% (26/26), done. Delta compression using up to 8 threads Compressing objects: 100% (15/15), done. Writing objects: 100% (15/15), 1.49 KiB | 1.49 MiB/s, done. Total 15 (delta 12), reused 0 (delta 0) remote: Resolving deltas: 100% (12/12), completed with 10 local objects. remote: Internal Server Error To git+ssh://github.com/<redacted>/<redacted> ! [remote failure] wip -> wip (remote failed to report status) error: failed to push some refs to 'git+ssh://git@github.com/<redacted>/<redacted>'