GitHub Outage Map

Community Discussion

Tips? Frustrations? Share them here. Useful comments include a description of the problem, city and postal code.

Beware of "support numbers" or "recovery" accounts that might be posted below. Make sure to report and downvote those comments. Avoid posting your personal information.

GitHub Issues Reports

Latest outage, problems and issue reports in social media:

• 
  JesusIsGodAndKing2 (@mattr7777777) reported 5 minutes ago

  @LLMJunky I am considering attempting to address/fix this by making a small app that controls this feature and locks it in, not sure if it will work, but if it does I will Open Source it on Github. Mac OS only.

• 
  Nika Shelia (@shelyanik) reported 7 minutes ago

  github down again

• 
  Mayor (@mayorxbt) reported 11 minutes ago

  is Github down?

• 
  Bartosz Naskręcki (@nasqret) reported 17 minutes ago

  @s_batzoglou I suggested that such papers will land in the GitHub repo among an infinite number of other such papers where no one really cares/has time/will/courage... to carry it further. We simply have many more problems than people able to explore them actively. AI systems are not good enough to carry this through on their own. And even when they become capable, every such result will simply land as an entry in a huge database. I think a good analogy here is the atlas of cosmic objects. We observe them, tag and keep sealed until someone interested stars studying them for a good reason.

• 
  Sanjay (@sanjaynela) reported 18 minutes ago

  One thing I’ve changed with AI coding agents: I don’t just ask them to write code anymore. I’m getting much more value using Codex and Claude Code to: • Review PRs • Investigate CI failures • Understand unfamiliar parts of a repo • Turn GitHub issues into implementation plans Writing code is almost becoming the boring part. The bigger unlock is giving the agent enough context to understand your repo, your workflow, and what you’re actually trying to ship. That’s when it starts feeling less like autocomplete and more like another engineer working with you.

• 
  Makstail (@makstail88459) reported 20 minutes ago

  10 long-standing math problems. Roughly $2,000 in inference. OpenAI says an internal Astra model generated new results—and released Lean certificates for every one on GitHub. The work spans geometry, group theory, cryptography, and complexity. These were not contest exercises. One result constructs an explicit non-sofic group, settling whether every group can be approximated by finite permutations. Another disproves Connes’s rigidity conjecture. The sphere-packing chapter reports the first improvement to the general exponent since 1978. OpenAI also lists new results in coding theory, quantum complexity, and lattice cryptography. The quoted $2,000 is not a project budget. It is OpenAI’s estimate for discovery tokens at Sol API rates. Humans prepared the manuscripts with the model; Astra translated the arguments into Lean. Lean checks whether a formal proof follows from its stated assumptions. OpenAI published the certificates under Apache 2.0, plus Comparator configurations for independent proof-object checking. But a certificate is not peer review. Mathematicians still need to confirm that each formal statement captures the intended problem and decide how much each result changes its field. The real shift is not that AI can produce convincing mathematics. It is that a model can now pair frontier claims with proofs a machine can refuse to accept.

• 
  iamcurtismith.base.eth (@iamcurtismith) reported 21 minutes ago

  Grok 4.6 is shipping in three separate coding environments (GitHub Copilot, OpenCode, Augment) and adoption just beat every model in Augment's history—three-day record broken. The actual why: frontier-adjacent reasoning at production pricing. You get spatial geometry, multi-file refactors, constraint chains that don't collapse halfway through a build, and it costs a fraction of frontier models. CAD work, complex architecture calls, pair-programming sessions where context matters—this is the speed-budget-coherence trifecta that makes builders switch, not incremental gain marketing. If rate limits cap you during the surge, reset tokens in settings (desktop or mobile) flip you back to full capacity one click, no 24-hour meter wait. Grab it wherever you code and stop treating intelligence like a luxury tax. @xai @grok.

• 
  The Tech Buzz (@tbuzzdaily) reported 21 minutes ago

  OpenClaw has been renamed twice in nine months, once after Anthropic's lawyers objected to a name that sounded too much like "Claude," and it's now sitting at roughly 380,000 GitHub stars, one of the fastest-growing open-source AI projects ever, with its original creator having since left to join OpenAI. Cloudways, DigitalOcean's managed-hosting brand, just made OpenClaw and Nous Research's Hermes agent available as one-click managed deployments, meaning a developer no longer has to provision a server, configure security, or maintain the runtime just to run one of these agents in production. The pitch is straightforward: agents that were previously a weekend side project to get running now deploy the way you'd spin up any other hosted app, complete with isolated environments and vendor-validated updates before rollout. It's a real, growing category, Vercel, Modal, and Railway are all building toward some version of "agent hosting," but most of them host custom agent code rather than turnkey deployments of specific, already-famous open-source projects the way Cloudways just did. The interesting tell here isn't the product, it's that a hosting company chose to package two community-built, non-commercial open-source agents rather than build its own. That's a bet that developers already trust OpenClaw and Hermes's reputations more than they'd trust a brand-new proprietary agent from their cloud provider, which says something about how fast open-source has caught up to, or overtaken, the credibility of anything a vendor could ship in-house.

• 
  0x99M (@0x99M) reported 22 minutes ago

  It github down?

• 
  Uwakmfon (@paul_uwakmfon) reported 23 minutes ago

  Ah GitHub is down or na my network de fool? 🤧🤧

• 
  amirreza (@ARJoolim) reported 27 minutes ago

  github is down 🫤 #github

• 
  Tiraesia(s) TF TG (@TGpose_TSF) reported 27 minutes ago

  About to test to see if I can get my latest version of PovPlus into github as a testing version (Which I think is just a setting you enable in dalamud or it does it automaticly?) anyway if POV+ goes down just assume im an idiot and it will be back shortly

• 
  Anh Tran (@rilwis) reported 30 minutes ago

  @jon_bossenger @vikasprogrammer @miriamschwab I think the main issue here is DX. A simple modification of readme on Github that changes the configuration to a prompt can help. Or better if it has a one-click to install for AI :)

• 
  Mike (@n3onr1ft) reported 32 minutes ago

  @witcheer Of course! I think there’s already an issue or PR for it on GitHub. No rush though, I know there’s a crap ton of higher priority stuff.

• 
  shizuka33 (@shizukaOG33) reported 34 minutes ago

  @mthego4t @joemccann problem is dude is claiming all coins linked to his github