summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-10-26 09:55:27 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-10-26 09:55:27 +0000
commitc865d32b2931dbdbcf1c756a5230b3e20488a01e (patch)
tree28e1fe0d89926937f540c27422459f9eeb150646 /eroen.txt
parent2019-10-26T09:20:01Z (diff)
downloadrepos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.tar.gz
repos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.tar.bz2
repos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.zip
2019-10-26T09:40:01Z
Diffstat (limited to 'eroen.txt')
-rw-r--r--eroen.txt10
1 files changed, 8 insertions, 2 deletions
diff --git a/eroen.txt b/eroen.txt
index 072ead7b8034..d1008288153e 100644
--- a/eroen.txt
+++ b/eroen.txt
@@ -11,10 +11,16 @@
'uri': 'git+ssh://git@git.gentoo.org/user/eroen.git'}],
'status': 'unofficial'}
$ pmaint sync eroen
-Already up to date.
+fatal: unable to access 'https://anongit.gentoo.org/git/user/eroen.git/': Operation timed out after 300016 milliseconds with 0 out of 0 bytes received
+*** syncing eroen
+*** failed syncing eroen
+ * Sync failed with 1
+ * Will try to re-create
+$ pmaint sync eroen
+Cloning into '/var/lib/repo-mirror-ci/sync/eroen'...
*** syncing eroen
*** synced eroen
- * 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 eroen