From a7924e2b1582bdddf4cfb61d7835105f565c8bb3 Mon Sep 17 00:00:00 2001
From: Repository mirror & CI <repomirrorci@gentoo.org>
Date: Tue, 19 Nov 2024 20:33:08 +0000
Subject: 2024-11-19T20:30:00Z

---
 gentoo.txt | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'gentoo.txt')

diff --git a/gentoo.txt b/gentoo.txt
index 2ac367c58f9a..c22149efe889 100644
--- a/gentoo.txt
+++ b/gentoo.txt
@@ -15,14 +15,7 @@ pkgcore 0.12.28
 
 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo
 *** syncing gentoo
-From https://github.com/gentoo/gentoo
-   6463bc79f49c..9ed530debc43  master     -> origin/master
-Updating 6463bc79f49c..9ed530debc43
-Fast-forward
- sci-mathematics/why3/Manifest          |   1 +
- sci-mathematics/why3/why3-1.7.2.ebuild | 107 +++++++++++++++++++++++++++++++++
- 2 files changed, 108 insertions(+)
- create mode 100644 sci-mathematics/why3/why3-1.7.2.ebuild
+Already up to date.
 *** synced gentoo
  * Sync succeeded
 $ git log --format=%ci -1
-- 
cgit v1.2.3-65-gdbad