3 ms·

If Github is down, thousands of programmers suddenly have nothing better to do.

• djsumdog 7y ago
  The tragedy of the cloud.
  • jbverschoor 7y ago
    git is distributed...
    • kempbellt 7y ago
      Yeah, but people are lazy and GitHub has a user-friendly UI with big green "Merge" buttons.
      • mirekrusin 7y ago
        And ci integration; which runs automated tests; which must pass to release package/docker image/whatever; which is required for deploying new version for your system etc. The whole thing is as distributed as business of a guy selling hot dogs on the street.
    • 0xffff2 7y ago
      git is distributed. The GitHub issue and PR tracker isn't.
• ithkuil 7y ago
  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 automation _appears_ to work just fine)
  • 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>'
• tasogare 7y ago
  Conversely, if Hacker News was down GitHub would suddenly see a spike in traffic :)
• davidajackson 7y ago
  Fortunately the first I saw of the one a few days ago started right around lunchtime.