From 32858ba22a755a6987185faae0ca68c7ad004a26 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Wed, 6 May 2020 09:04:56 +0000 Subject: 2020-05-06T09:00:01Z --- 4nykey.html | 26 +++++++------------------- 1 file changed, 7 insertions(+), 19 deletions(-) (limited to '4nykey.html') diff --git a/4nykey.html b/4nykey.html index 13ba5410d7f4..817c26f7133e 100644 --- a/4nykey.html +++ b/4nykey.html @@ -36,33 +36,21 @@ 13
$ pmaint sync 4nykey
 
- 14
fatal: unable to access 'https://github.com/4nykey/4nykey.git/': Failed to connect to github.com port 443: Connection timed out
+            14
Already up to date.
 
15
*** syncing 4nykey
 
- 16
!!! failed syncing 4nykey
+            16
*** synced 4nykey
 
- 17
 * Sync failed with 1
-
[FATAL] - 18
 * Will try to re-create
+            17
 * Sync succeeded
 
- 19
$ pmaint sync 4nykey
+            18
$ git log --format=%ci -1
 
- 20
Cloning into '/var/lib/repo-mirror-ci/sync/4nykey'...
+            19
$ git show -q --pretty=format:%G? HEAD
 
- 21
*** syncing 4nykey
+            20
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 4nykey
 
- 22
*** synced 4nykey
-
- 23
 * Sync succeeded after re-adding
-
- 24
$ git log --format=%ci -1
-
- 25
$ git show -q --pretty=format:%G? HEAD
-
- 26
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 4nykey
-
- 27
 * Cache regenerated successfully
+            21
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad