diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gentoo.txt b/gentoo.txt index 704e6c18ead1..1424d8a00cd4 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -14,16 +14,13 @@ 'uri': 'git+ssh://git@git.gentoo.org/repo/gentoo.git'}], 'status': 'official'} $ pmaint sync gentoo +WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/zugaina' WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id +WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/zugaina' WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing gentoo -From https://anongit.gentoo.org/git/repo/gentoo - 4390ed246dd..b6c9bcb1f1c master -> origin/master -Updating 4390ed246dd..b6c9bcb1f1c -Fast-forward - profiles/features/hardened/make.defaults | 6 +++--- - 1 file changed, 3 insertions(+), 3 deletions(-) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |