diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-12-10 10:31:38 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-12-10 10:31:38 +0000 |
| commit | caafd6076bf619feabebb4cd35a647a61df9f233 (patch) | |
| tree | 3443c07666022379b8f4f4cdcd16efede0219015 /gentoo.txt | |
| parent | 2022-12-10T10:15:01Z (diff) | |
| download | repos-caafd6076bf619feabebb4cd35a647a61df9f233.tar.gz repos-caafd6076bf619feabebb4cd35a647a61df9f233.tar.bz2 repos-caafd6076bf619feabebb4cd35a647a61df9f233.zip | |
2022-12-10T10:30:01Z
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/gentoo.txt b/gentoo.txt index 8aee42560931..c659a83e0528 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,16 +15,7 @@ pkgcore 0.12.17 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -From https://anongit.gentoo.org/git/repo/gentoo - d898f78de23..3283fff1684 master -> origin/master -Updating d898f78de23..3283fff1684 -Fast-forward - media-libs/libopenmpt/libopenmpt-0.6.6.ebuild | 2 +- - media-sound/mpd/mpd-0.23.10.ebuild | 2 +- - media-sound/openmpt123/openmpt123-0.6.6.ebuild | 2 +- - media-sound/wildmidi/wildmidi-0.4.4.ebuild | 2 +- - profiles/arch/arm64/use.mask | 1 + - 5 files changed, 5 insertions(+), 4 deletions(-) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |