From f358534d520ef045badbdc2891a888281bf3692e Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Sun, 16 Aug 2026 22:31:36 +0200
Subject: [PATCH] Fix links in README.md

Old github.com URLs redirect but github.io (pages) ones do not
---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 64db741..9f9adab 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@
 -->
 ![project group status: active](https://img.shields.io/badge/status-active-brightgreen.svg)
 [![project group documentation](https://img.shields.io/badge/MDBook-View%20Documentation-blue)][gh-pages]
-[![Run compiler tests](https://github.com/rust-lang/project-stable-mir/actions/workflows/nightly.yml/badge.svg)](https://github.com/rust-lang/project-stable-mir/actions/workflows/nightly.yml)
+[![Run compiler tests](https://github.com/rust-lang/rustc_public/actions/workflows/nightly.yml/badge.svg)](https://github.com/rust-lang/rustc_public/actions/workflows/nightly.yml)
 
 
 <!--
@@ -27,9 +27,9 @@ This is the repository we use to organise and document our work.
 
 If you are wondering how to use rustc_public in your project, please check out the [Getting Started][tutorial] chapter.
 
-[gh-pages]: https://rust-lang.github.io/project-stable-mir
+[gh-pages]: https://rust-lang.github.io/rustc_public/
 
-[tutorial]: https://rust-lang.github.io/project-stable-mir/getting-started.html
+[tutorial]: https://rust-lang.github.io/rustc_public/getting-started.html
 
 ## How Can I Get Involved?
 
@@ -43,7 +43,7 @@ We also participate on [Zulip][chat-link], feel free to introduce
 yourself over there and ask us any questions you have.
 
 
-[open issues]: https://github.com/rust-lang/project-stable-mir/issues
+[open issues]: https://github.com/rust-lang/rustc_public/issues
 
 [chat-link]: https://rust-lang.zulipchat.com/#narrow/stream/320896-project-stable-mir