From b9ecd5f84104a250d1467e8dee14d6cd39bde54a Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Thu, 2 Apr 2020 22:04:57 +0000 Subject: 2020-04-02T22:00:01Z --- JRG.html | 20 +++++++++----------- 1 file changed, 9 insertions(+), 11 deletions(-) (limited to 'JRG.html') diff --git a/JRG.html b/JRG.html index e689566db44b..7e55b6440108 100644 --- a/JRG.html +++ b/JRG.html @@ -40,25 +40,23 @@ 15
 'status': 'unofficial'}
- 16
 * Adding new repository
+            16
$ pmaint sync JRG
 

-            17
$ pmaint sync JRG
+            17
Already up to date.
 

-            18
Cloning into '/var/lib/repo-mirror-ci/sync/JRG'...
+            18
*** syncing JRG
 

-            19
*** syncing JRG
+            19
*** synced JRG
 

-            20
*** synced JRG
+            20
 * Sync succeeded
 

-            21
 * Sync succeeded
+            21
$ git log --format=%ci -1
 

-            22
$ git log --format=%ci -1
+            22
$ git show -q --pretty=format:%G? HEAD
 

-            23
$ git show -q --pretty=format:%G? HEAD
+            23
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 JRG
 

-            24
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 JRG
-

-            25
 * Cache regenerated successfully
+            24
 * Cache regenerated successfully
 

 
         
-- 
cgit v1.2.3-65-gdbad