From 62582ee055a20ee3c23367ca40e8a0fef151e114 Mon Sep 17 00:00:00 2001
From: davidemazzocchi <davide.mazzocchi@gmail.com>
Date: Mon, 9 Mar 2026 09:50:09 +0100
Subject: [PATCH] chore: update justfile after repo ownership change

---
 .justfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.justfile b/.justfile
index b8c0abd..dea74b7 100644
--- a/.justfile
+++ b/.justfile
@@ -11,9 +11,7 @@ code_coverage:
   cd 01.workspace && cargo llvm-cov clean && cargo llvm-cov --show-missing-lines
 
 force_sync_remotes:
-  git push --force codeberg.org next
   git push --force github.com next
 
 sync_remotes:
-  git push codeberg.org next
-  git push github.com next
+  git push github next