diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-10-05 13:31:37 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-10-05 13:31:37 +0000 |
| commit | be8afc1561a40e35e77cf35010e5a694de0f3651 (patch) | |
| tree | 9af52f64c64f6677ff316bfef8d5e6fc67e870ff /pentoo.txt | |
| parent | 2022-10-05T13:15:01Z (diff) | |
| download | repos-be8afc1561a40e35e77cf35010e5a694de0f3651.tar.gz repos-be8afc1561a40e35e77cf35010e5a694de0f3651.tar.bz2 repos-be8afc1561a40e35e77cf35010e5a694de0f3651.zip | |
2022-10-05T13:30:01Z
Diffstat (limited to 'pentoo.txt')
| -rw-r--r-- | pentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/pentoo.txt b/pentoo.txt index 5a9b54eedba4..1fbfc3992423 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -11,14 +11,7 @@ pkgcore 0.12.13 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync pentoo *** syncing pentoo -From https://github.com/pentoo/pentoo-overlay - f5a6448c4..7f5d349d3 master -> origin/master -Updating f5a6448c4..7f5d349d3 -Fast-forward - dev-java/jakarta-servlet-api/jakarta-servlet-api-5.0.0.ebuild | 2 +- - dev-java/jetty-server/Manifest | 1 + - dev-java/jetty-server/jetty-server-11.0.9.ebuild | 2 +- - 3 files changed, 3 insertions(+), 2 deletions(-) +Already up to date. *** synced pentoo * Sync succeeded $ git log --format=%ci -1 |