From abc434b9710031ebe88543b6e760d4f3fced8d39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 10 Jan 2025 08:03:30 -0800
Subject: [PATCH] check-friends: restoring main repos

---
 .github/workflows/check-friends.yml     | 23 ++++++++---------------
 .github/workflows/check-nix-friends.yml | 12 +++++-------
 2 files changed, 13 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/check-friends.yml b/.github/workflows/check-friends.yml
index d50c8fb0e2a..f54154d26c6 100644
--- a/.github/workflows/check-friends.yml
+++ b/.github/workflows/check-friends.yml
@@ -28,8 +28,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: karamel/
-          repository: mtzguido/karamel
-          ref: dev
+          repository: FStarLang/karamel
 
       - name: Build krml
         run: make -C karamel -skj$(nproc)
@@ -95,8 +94,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: steel/
-          repository: mtzguido/steel
-          ref: dev
+          repository: FStarLang/steel
 
       - name: Build
         run: make -C steel -skj$(nproc)
@@ -148,8 +146,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: pulse/
-          repository: mtzguido/pulse
-          ref: dev
+          repository: FStarLang/pulse
 
       - uses: actions/download-artifact@v4
         with:
@@ -226,8 +223,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: hacl-star/
-          repository: mtzguido/hacl-star
-          ref: dev
+          repository: hacl-star/hacl-star
 
       # Patch HACL* for new lib
       - run: sed -i 's/^\(OCAMLSHARED.*\)fstar\.lib/\1fstar.pluginlib/' hacl-star/Makefile.common
@@ -308,8 +304,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: everparse/
-          repository: mtzguido/everparse
-          ref: dev
+          repository: project-everest/everparse
 
       - name: Build
         run: |
@@ -382,8 +377,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: merkle-tree/
-          repository: mtzguido/merkle-tree
-          ref: dev
+          repository: hacl-star/merkle-tree
 
       - name: Build
         run: |
@@ -464,8 +458,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: mitls-fstar/
-          repository: mtzguido/mitls-fstar
-          ref: dev
+          repository: project-everest/mitls-fstar
 
       - name: Build
         run: make -C mitls-fstar/src/tls -skj$(nproc)
@@ -554,7 +547,7 @@ jobs:
         with:
           path: everparse/
           ref: taramana_cbor
-          repository: mtzguido/everparse
+          repository: project-everest/everparse
 
       - name: Build
         run: |
diff --git a/.github/workflows/check-nix-friends.yml b/.github/workflows/check-nix-friends.yml
index b2fa89eb7ff..6f834b5f69f 100644
--- a/.github/workflows/check-nix-friends.yml
+++ b/.github/workflows/check-nix-friends.yml
@@ -1,6 +1,7 @@
 name: Check F* friends (Nix)
 
-# This workflow must be called ONLY after a run of nix.yml
+# This workflow should be called ONLY after a run of nix.yml so the F*
+# build for the current sha has is already present in the Nix cache.
 on:
   workflow_call:
 
@@ -17,8 +18,7 @@ jobs:
 
       - uses: actions/checkout@master
         with:
-          repository: mtzguido/comparse
-          ref: dev
+          repository: TWal/comparse
 
       - name: Update fstar flake and check
         run: |
@@ -33,8 +33,7 @@ jobs:
 
       - uses: actions/checkout@master
         with:
-          repository: mtzguido/dolev-yao-star-extrinsic
-          ref: dev
+          repository: REPROSEC/dolev-yao-star-extrinsic
 
       - name: Update fstar flake and check
         run: |
@@ -49,8 +48,7 @@ jobs:
 
       - uses: actions/checkout@master
         with:
-          repository: mtzguido/mls-star
-          ref: dev
+          repository: Inria-Prosecco/mls-star
 
       - name: Update fstar flake and check
         run: |