diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-11-17 04:43:45 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-11-17 04:43:45 +0000 |
commit | f2dc806b4a39f1cff64591d99a380c7eb56e55ff (patch) | |
tree | 2495634d0979bc5c62894668f93b2eb80ca46f82 /jorgicio.txt | |
parent | 2018-11-17T04:20:01Z (diff) | |
download | repos-f2dc806b4a39f1cff64591d99a380c7eb56e55ff.tar.gz repos-f2dc806b4a39f1cff64591d99a380c7eb56e55ff.tar.bz2 repos-f2dc806b4a39f1cff64591d99a380c7eb56e55ff.zip |
2018-11-17T04:40:01Z
Diffstat (limited to 'jorgicio.txt')
-rw-r--r-- | jorgicio.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/jorgicio.txt b/jorgicio.txt index dfe2a35dac10..91fd2e6bbe0d 100644 --- a/jorgicio.txt +++ b/jorgicio.txt @@ -17,16 +17,7 @@ $ pmaint sync jorgicio 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 *** syncing jorgicio -From https://github.com/jorgicio/jorgicio-gentoo - ae872b7..2e89d1b master -> origin/master -Updating ae872b7..2e89d1b -Fast-forward - app-i18n/man-pages-es-extra/Manifest | 8 ++++---- - .../man-pages-es-extra/files/delete-extra-files.patch | 6 +++--- - .../man-pages-es-extra/man-pages-es-extra-0.8a.ebuild | 15 +++++++++------ - app-i18n/man-pages-es/Manifest | 6 +++--- - app-i18n/man-pages-es/man-pages-es-1.55.ebuild | 13 +++++++------ - 5 files changed, 26 insertions(+), 22 deletions(-) +Already up to date. *** synced jorgicio * Sync succeeded $ git log --format=%ci -1 |