diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-04-02 22:04:57 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-04-02 22:04:57 +0000 |
commit | b9ecd5f84104a250d1467e8dee14d6cd39bde54a (patch) | |
tree | b0d24838a73a9c72829cd93f752445a31f3f6540 /JRG.txt | |
parent | 2020-04-02T21:30:01Z (diff) | |
download | repos-b9ecd5f84104a250d1467e8dee14d6cd39bde54a.tar.gz repos-b9ecd5f84104a250d1467e8dee14d6cd39bde54a.tar.bz2 repos-b9ecd5f84104a250d1467e8dee14d6cd39bde54a.zip |
2020-04-02T22:00:01Z
Diffstat (limited to 'JRG.txt')
-rw-r--r-- | JRG.txt | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -13,9 +13,8 @@ {'type': 'git', 'uri': 'git@github.com:john-r-graham/jrg-overlay.git'}], 'status': 'unofficial'} - * Adding new repository $ pmaint sync JRG -Cloning into '/var/lib/repo-mirror-ci/sync/JRG'... +Already up to date. *** syncing JRG *** synced JRG * Sync succeeded |