summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-05-06 08:08:07 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-05-06 08:08:07 +0000
commitd0a7927ca79a481c148a54e4901e74f3c94ccb2b (patch)
tree95e53c5a1c166ce3aa60d6ab45aa652f371369b2 /JRG.txt
parent2020-05-06T07:00:01Z (diff)
downloadrepos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.tar.gz
repos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.tar.bz2
repos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.zip
2020-05-06T08:00:01Z
Diffstat (limited to 'JRG.txt')
-rw-r--r--JRG.txt11
1 files changed, 9 insertions, 2 deletions
diff --git a/JRG.txt b/JRG.txt
index cadff6d7fe29..bcc1eef9d8e6 100644
--- a/JRG.txt
+++ b/JRG.txt
@@ -14,10 +14,17 @@
'uri': 'git@github.com:john-r-graham/jrg-overlay.git'}],
'status': 'unofficial'}
$ pmaint sync JRG
-Already up to date.
+fatal: unable to access 'https://github.com/john-r-graham/jrg-overlay.git/': Failed to connect to github.com port 443: Connection timed out
+*** syncing JRG
+!!! failed syncing JRG
+ * Sync failed with 1
+ * Will try to re-create
+$ pmaint sync JRG
+WARNING:pkgcore:4nykey repo at '/var/lib/repo-mirror-ci/sync/4nykey', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+Cloning into '/var/lib/repo-mirror-ci/sync/JRG'...
*** syncing JRG
*** synced JRG
- * Sync succeeded
+ * Sync succeeded after re-adding
$ git log --format=%ci -1
$ git show -q --pretty=format:%G? HEAD
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 JRG