diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-06-03 09:53:32 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-06-03 09:53:32 +0000 |
commit | f76a74a849a9d55034831f08cb947854ed66b098 (patch) | |
tree | 86042731bd510119ed57a07a2db9eb72c2fbcd52 /pentoo.txt | |
parent | 2023-06-03T09:30:01Z (diff) | |
download | repos-f76a74a849a9d55034831f08cb947854ed66b098.tar.gz repos-f76a74a849a9d55034831f08cb947854ed66b098.tar.bz2 repos-f76a74a849a9d55034831f08cb947854ed66b098.zip |
2023-06-03T09:45:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/pentoo.txt b/pentoo.txt index 5d5dfa87d3e3..60eb3ebfb86e 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -11,12 +11,7 @@ pkgcore 0.12.20 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync pentoo *** syncing pentoo -From https://github.com/pentoo/pentoo-overlay - 1e7d7c9fe..7055ebeec master -> origin/master -Updating 1e7d7c9fe..7055ebeec -Fast-forward - dev-java/jetty-server/jetty-server-11.0.9.ebuild | 7 ++++--- - 1 file changed, 4 insertions(+), 3 deletions(-) +Already up to date. *** synced pentoo * Sync succeeded $ git log --format=%ci -1 |