diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/gentoo.txt b/gentoo.txt index 39aa0d05c608..3f7a5a4d36c2 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -17,19 +17,7 @@ $ pmaint sync gentoo WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/swegener' WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs *** syncing gentoo -From https://anongit.gentoo.org/git/repo/gentoo - aa9121112d3..bba5bd2cee1 master -> origin/master -Updating aa9121112d3..bba5bd2cee1 -Fast-forward - app-emulation/ganeti/ganeti-2.15.2-r8.ebuild | 2 +- - dev-perl/Devel-NYTProf/Devel-NYTProf-6.60.0.ebuild | 2 +- - dev-php/swoole/swoole-4.2.13.ebuild | 2 +- - dev-python/nose2/nose2-0.6.5.ebuild | 4 ++-- - mail-filter/opendmarc/opendmarc-1.3.2-r2.ebuild | 2 +- - media-video/pitivi/pitivi-0.999.ebuild | 2 +- - sys-firmware/b43-firmware/b43-firmware-5.100.138.ebuild | 2 +- - sys-firmware/b43legacy-firmware/b43legacy-firmware-3.130.20.0.ebuild | 2 +- - 8 files changed, 9 insertions(+), 9 deletions(-) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |