From fe2d5876603d8ac6dddd1718a9dca0315470bb02 Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Mon, 13 Apr 2026 11:12:09 +0200
Subject: [PATCH 1/2] add redirection to new website

---
 home_page/index.html | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 home_page/index.html

diff --git a/home_page/index.html b/home_page/index.html
new file mode 100644
index 00000000..ca14618e
--- /dev/null
+++ b/home_page/index.html
@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <meta charset="utf8">
+    <meta http-equiv="refresh" content="0; url=https://leanmachinelearning.github.io/">
+    <link rel="canonical" href="https://leanmachinelearning.github.io/">
+    <title>This page has moved</title>
+</head>
+<body>
+    <p>This page has moved and the project was renamed to Lean Machine Learning. Redirecting you to <a href="https://leanmachinelearning.github.io/">https://leanmachinelearning.github.io/</a>&hellip;</p>
+</body>
+</html>

From 6529a9a76fb23c0dba582a1c3062da972462af1b Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Mon, 13 Apr 2026 11:12:30 +0200
Subject: [PATCH 2/2] temporarily disable docgen

---
 .github/workflows/blueprint.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 8ae3ddf0..05308aaa 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -55,13 +55,13 @@ jobs:
         run: |
           ./build_all.sh
 
-      - name: Compile blueprint and documentation
-        uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
-        with:
-          homepage: home_page
-          blueprint: true
-          build-page: false
-          deploy: false
+      # - name: Compile blueprint and documentation
+      #   uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
+      #   with:
+      #     homepage: home_page
+      #     blueprint: true
+      #     build-page: false
+      #     deploy: false
 
       - name: "Upload website (API documentation, blueprint and any home page)"
         if: github.event_name == 'push'