diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-02-08 09:07:20 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-02-08 09:07:20 +0000 |
commit | ccf81907edae13134bd183b6fb32177c1aa4daad (patch) | |
tree | cedc548ce564d0bc48a3ca19d3ce322dc1494ebd /gentoo.txt | |
parent | 2022-02-08T08:45:01Z (diff) | |
download | repos-ccf81907edae13134bd183b6fb32177c1aa4daad.tar.gz repos-ccf81907edae13134bd183b6fb32177c1aa4daad.tar.bz2 repos-ccf81907edae13134bd183b6fb32177c1aa4daad.zip |
2022-02-08T09:00:01Z
Diffstat (limited to 'gentoo.txt')
-rw-r--r-- | gentoo.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index a4b180c93142..796dc92134d6 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,12 @@ pkgcore 0.12.8 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + e3e76dd2132..222d7c3f551 master -> origin/master +Updating e3e76dd2132..222d7c3f551 +Fast-forward + sci-mathematics/cvc4/cvc4-1.8.ebuild | 6 +++++- + 1 file changed, 5 insertions(+), 1 deletion(-) *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |