From fee8fa523ae7370841f4c28de0e89d7a59313acf Mon Sep 17 00:00:00 2001
From: "Timothy J. Aveni" <tja@berkeley.edu>
Date: Sun, 25 Oct 2026 12:32:55 -0700
Subject: [PATCH] Restore current public toolchain exports and CI publication
 (#420)

---
 flake.lock | 8 ++++----
 flake.nix  | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index f9563cb..db35366 100644
--- a/flake.lock
+++ b/flake.lock
@@ -80,13 +80,13 @@
         "rev": "5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87",
         "revCount": 184,
         "type": "git",
-        "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
+        "url": "https://repos.quixos.org/quixos-toolchain/quixos-protocol.git"
       },
       "original": {
         "ref": "refs/tags/quixos-reachability/5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87",
         "rev": "5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87",
         "type": "git",
-        "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
+        "url": "https://repos.quixos.org/quixos-toolchain/quixos-protocol.git"
       }
     },
     "quixosNixHelpers": {
@@ -98,13 +98,13 @@
         "rev": "7177130c0365f2fa58ea4877366e1c5d17db4c01",
         "revCount": 4,
         "type": "git",
-        "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-nix-helpers.git"
+        "url": "https://repos.quixos.org/quixos-toolchain/quixos-nix-helpers.git"
       },
       "original": {
         "ref": "refs/tags/quixos-reachability/7177130c0365f2fa58ea4877366e1c5d17db4c01",
         "rev": "7177130c0365f2fa58ea4877366e1c5d17db4c01",
         "type": "git",
-        "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-nix-helpers.git"
+        "url": "https://repos.quixos.org/quixos-toolchain/quixos-nix-helpers.git"
       }
     },
     "root": {
diff --git a/flake.nix b/flake.nix
index 102d1ab..a32c3af 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,9 +4,9 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
     flake-utils.url = "github:numtide/flake-utils";
-    quixos-protocol.url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git?ref=refs/tags/quixos-reachability/5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87&rev=5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87";
+    quixos-protocol.url = "git+https://repos.quixos.org/quixos-toolchain/quixos-protocol.git?ref=refs/tags/quixos-reachability/5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87&rev=5b44c8154dc038efd87cf1cbdd2c00b66bfd4f87";
     quixosNixHelpers = {
-      url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-nix-helpers.git?ref=refs/tags/quixos-reachability/7177130c0365f2fa58ea4877366e1c5d17db4c01&rev=7177130c0365f2fa58ea4877366e1c5d17db4c01";
+      url = "git+https://repos.quixos.org/quixos-toolchain/quixos-nix-helpers.git?ref=refs/tags/quixos-reachability/7177130c0365f2fa58ea4877366e1c5d17db4c01&rev=7177130c0365f2fa58ea4877366e1c5d17db4c01";
       flake = false;
     };
   };