GitHub

The AI-powered developer platform to build, scale, and deliver secure software.

[GitHub @github]

📣 Coming soon to GitHub Copilot: intelligent local model routing.

We are excited to announce the next step in our Project HydraFusion vision. GitHub Copilot will soon be able to automatically route tasks to a local model when it's most suitable, helping you save on AI credits.

[GitHub @github]

#GitHubUniverse badge just went digital… and yes it runs Doom.

Customize your own, play and share it with #badger26. https://t.co/fBfbaUVv9G

Sign up to join us virtually (for free) at https://t.co/KpQ9krtoYu

[GitHub @github]

Working with outside collaborators can add more work for a repo owner, from confirming access to changing permissions.

To keep up with manual housekeeping for one shared org, we decided to use Evergreen: a GitHub App built with native GitHub features.

The workflow 👇
https://t.co/N5dMWStm2k

[GitHub @github]

While you're waiting for GTA 6...

[mrdoob @mrdoob]

Spent a bunch of tokens over the last few weeks building a fully procedural New York simulation.

https://t.co/YSrGNoIYsK

It's only 784KB gzipped and the code is on github, so you can do whatever you want with it ✌️

[GitHub @github]

Can you guess what just dropped at the GitHub Shop?

Our #GitHubUniverse collection is here.

🛍️ https://t.co/SiELxlFEIQ

[Burke Holland @burkeholland]

Going to @GitHub Universe?

Join myself, @pierceboggan, @Jujujuliakasper, @okatiesavage and @JamesMontemagno for a look at how your team can work seamlessly with @GitHub Copilot...pretty much everywhere.

https://t.co/J90mkFkFcP

[Kyle Daigle @kdaigle]

Spent the weekend testing out our new Universe badges with my son. He gave it a 10/10. RP2350 on MicroPython, 2.8" TFT, accelerometer that auto-flips the screen, capacitive gaming controls, and an AGENTS.md so Copilot can code + deploy to it. 🤓

[GitHub @github]

1 week away from #GitHubUniverse and we can't wait to see you 🌁

Can't make it in-person? Sign up to join us virtually (it's free) ⬇️
https://t.co/supqwcpExs

[Ashley Willis (McNamara) @ashleymcnamara]

The GitHub Universe badges are sick 😍

[GitHub @github]

As traffic grew exponentially, we moved 99.99999% of GitHub's Git repos to Azure. A new write path moves the last, busiest repos, keeps cross-region round trips from capping throughput, and enables stateless Azure Blob Storage replicas. https://t.co/arMfnIfx0o

[GitHub @github]

Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.

Now in research preview ⬇️

[GitHub Next @GitHubNext]

How do you _guarantee_ your agent's code is correct? You prove it.

Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.

PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.

PDD Kit takes an app's login flow from intent to a verified pull request:

It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.

Once you approve the spec, the Verus verifier automatically proves the code meets it.

Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).

It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.

The goal is a verified software factory, where engineers review specifications instead of code.

Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!

[GitHub @github]

Most high-impact bugs are still authorization issues, says one top GitHub researcher. When it comes to AI, a fast car still needs a good driver.

We ask them about their method 👇
https://t.co/0uqYTYBBj5

[Camilla Moraes @moraes_c_]

We worked with maintainers, including @tianzhouchen, to build a better way to track GitHub stars over time.

The new API returns daily star counts without exposing who starred a project, making star history easier to retrieve, cheaper to serve, and more private.

Here's how we built it:
https://t.co/kgLRyP4t9U

[GitHub @github]

Almost that time of year again 🌁

#GitHubUniverse kicks off October 29 in San Francisco. Grab your pass or sign up to join us virtually ⬇️
https://t.co/b1mESsDpuV

[GitHub @github]

Agents don’t just help build features. They can help try to break them, too.

In our latest GitHub Podcast episode, Sameen Karim takes us behind the scenes on building stacked PRs. Listen to it wherever you get your podcasts or at https://t.co/sCyRjdnHU5

[GitHub @github]

AI has changed how devs work. Here are 3 career skills that will set you apart 👇
https://t.co/GTxlubdyVK

[GitHub @github]

The GitHub Security Lab used an open-source agent to find 24 Android vulnerabilities, including a location leak in a navigation app with 10M downloads.

How to run the taskflows on your own project 💡
https://t.co/9L79bg7pfG

[GitHub @github]

Your workflows have changed with AI. How about your setup?

Physical controls are back. Take the new Logitech MX Keypad, now directly integrated with the GitHub Copilot app.

This experience allows you to run agentic workflows with control, map a repeated prompt, start or resume a session, and help you stay in flow.
https://t.co/zbcYD8xQKf

[GitHub @github]

What are your conference essentials?

Grab a #GitHubUniverse pass to join us in-person October 28-29 or sign up to join us virtually ⬇️
https://t.co/rBP7w7Mwjo

[GitHub @github]

https://t.co/otZg9dIh7u has fully moved off CSS-in-JS to CSS Modules, resulting in 55% less server-side render time and 25% faster component init. https://t.co/0AV4Fr3RSo

[GitHub @github]

New in GitHub Transparency data: Learn about government takedown requests and reporting, and get a recap of 2026 state legislative sessions affecting open source.
https://t.co/kLiA6Vw7XM