diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-08-16 06:51:42 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-08-16 06:51:42 +0000 |
| commit | 15f5b14dec5735a8148790f80bbb08307bd14cc0 (patch) | |
| tree | 4b0cc23f5a79752c2cbc09477c5a1f343aa79d17 /bell07.txt | |
| parent | 2021-08-16T06:30:01Z (diff) | |
| download | repos-15f5b14dec5735a8148790f80bbb08307bd14cc0.tar.gz repos-15f5b14dec5735a8148790f80bbb08307bd14cc0.tar.bz2 repos-15f5b14dec5735a8148790f80bbb08307bd14cc0.zip | |
2021-08-16T06:45:01Z
Diffstat (limited to 'bell07.txt')
| -rw-r--r-- | bell07.txt | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/bell07.txt b/bell07.txt index 2684e350bb52..4f4b758d5186 100644 --- a/bell07.txt +++ b/bell07.txt @@ -12,19 +12,7 @@ pkgcore 0.12.1 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync bell07 *** syncing bell07 -From https://github.com/bell07/gentoo-bell07_overlay - 71a2fdb..09d7749 master -> origin/master -Updating 71a2fdb..09d7749 -Fast-forward - media-plugins/rom-properties/Manifest | 2 -- - .../rom-properties/rom-properties-1.7.3-r1.ebuild | 36 ---------------------- - .../rom-properties/rom-properties-1.8.2.ebuild | 36 ---------------------- - .../rom-properties/rom-properties-9999.ebuild | 36 ---------------------- - 4 files changed, 110 deletions(-) - delete mode 100644 media-plugins/rom-properties/Manifest - delete mode 100644 media-plugins/rom-properties/rom-properties-1.7.3-r1.ebuild - delete mode 100644 media-plugins/rom-properties/rom-properties-1.8.2.ebuild - delete mode 100644 media-plugins/rom-properties/rom-properties-9999.ebuild +Already up to date. *** synced bell07 * Sync succeeded $ git log --format=%ci -1 |