From cc405bb10b347d3f5b1e0af3ae3a66c974cfcd84 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 8 May 2020 13:35:06 +0000 Subject: 2020-05-08T13:30:01Z --- drdim.html | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'drdim.html') diff --git a/drdim.html b/drdim.html index 64624050abce..8e8d4fb69471 100644 --- a/drdim.html +++ b/drdim.html @@ -38,23 +38,21 @@ 14
$ pmaint sync drdim
 
- 15
WARNING:pkgcore:chaoslab repo at '/var/lib/repo-mirror-ci/sync/chaoslab', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+            15
Already up to date.
 
- 16
Already up to date.
+            16
*** syncing drdim
 
- 17
*** syncing drdim
+            17
*** synced drdim
 
- 18
*** synced drdim
+            18
 * Sync succeeded
 
- 19
 * Sync succeeded
+            19
$ git log --format=%ci -1
 
- 20
$ git log --format=%ci -1
+            20
$ git show -q --pretty=format:%G? HEAD
 
- 21
$ git show -q --pretty=format:%G? HEAD
+            21
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 drdim
 
- 22
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 drdim
-
- 23
 * Cache regenerated successfully
+            22
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad