diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2018-11-09 01:43:44 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-11-09 01:43:44 +0000 |
| commit | c9f8bf708a10b39f40cdc6c0619ac1d7d0304819 (patch) | |
| tree | 20059da385f62d103277d751696a8544fa82f317 /jorgicio.txt | |
| parent | 2018-11-09T01:20:01Z (diff) | |
| download | repos-c9f8bf708a10b39f40cdc6c0619ac1d7d0304819.tar.gz repos-c9f8bf708a10b39f40cdc6c0619ac1d7d0304819.tar.bz2 repos-c9f8bf708a10b39f40cdc6c0619ac1d7d0304819.zip | |
2018-11-09T01:40:01Z
Diffstat (limited to 'jorgicio.txt')
| -rw-r--r-- | jorgicio.txt | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/jorgicio.txt b/jorgicio.txt index 3674c8323ad8..0c17cd892ce5 100644 --- a/jorgicio.txt +++ b/jorgicio.txt @@ -14,20 +14,11 @@ 'uri': 'git@github.com:jorgicio/jorgicio-gentoo.git'}], 'status': 'unofficial'} $ pmaint sync jorgicio +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 *** syncing jorgicio -From https://github.com/jorgicio/jorgicio-gentoo - 6c993ad..f73faec master -> origin/master -Updating 6c993ad..f73faec -Fast-forward - net-misc/mininet/Manifest | 7 ++++--- - .../files/mininet-2.2.1-modify-sys-mount.patch | 13 ++++++++++++ - net-misc/mininet/metadata.xml | 1 + - net-misc/mininet/mininet-2.2.2.ebuild | 23 ++++++++++++++++++---- - net-misc/mininet/mininet-9999.ebuild | 23 ++++++++++++++++++---- - 5 files changed, 56 insertions(+), 11 deletions(-) - create mode 100644 net-misc/mininet/files/mininet-2.2.1-modify-sys-mount.patch +Already up to date. *** synced jorgicio * Sync succeeded $ git log --format=%ci -1 |