From 4798b79390323bc49c2c252f4893cfceb03a3e3b Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Mon, 13 Jan 2020 05:05:18 +0000 Subject: 2020-01-13T05:00:01Z --- gentoo-playground.html | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'gentoo-playground.html') diff --git a/gentoo-playground.html b/gentoo-playground.html index b10db1e1a41e..e3381c683e62 100644 --- a/gentoo-playground.html +++ b/gentoo-playground.html @@ -44,23 +44,21 @@ 17
$ pmaint sync gentoo-playground
- 18
WARNING:pkgcore:Case_Of repo at '/var/lib/repo-mirror-ci/sync/Case_Of', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+            18
Already up to date.
 

-            19
Already up to date.
+            19
*** syncing gentoo-playground
 

-            20
*** syncing gentoo-playground
+            20
*** synced gentoo-playground
 

-            21
*** synced gentoo-playground
+            21
 * Sync succeeded
 

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

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

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

-            25
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 gentoo-playground
-

-            26
 * Cache regenerated successfully
+            25
 * Cache regenerated successfully
 

 
         
-- 
cgit v1.2.3-65-gdbad