From daf09787758494d1e27402bb672b0f776520b844 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 7 Aug 2020 09:05:31 +0000 Subject: 2020-08-07T09:00:01Z --- robert7k.html | 32 ++++++++------------------------ 1 file changed, 8 insertions(+), 24 deletions(-) (limited to 'robert7k.html') diff --git a/robert7k.html b/robert7k.html index b39890b8720f..b7985d8905df 100644 --- a/robert7k.html +++ b/robert7k.html @@ -30,37 +30,21 @@ 10
$ pmaint sync robert7k
 
- 11
From https://github.com/robert7k/gentoo-overlay
+            11
Already up to date.
 
- 12
   816b810..a6d7d9f  master     -> origin/master
+            12
*** syncing robert7k
 
- 13
Updating 816b810..a6d7d9f
+            13
*** synced robert7k
 
- 14
Fast-forward
+            14
 * Sync succeeded
 
- 15
 www-servers/tomcat/Manifest                |   2 -
+            15
$ git log --format=%ci -1
 
- 16
 www-servers/tomcat/tomcat-8.5.57-r1.ebuild | 163 -----------------------------
+            16
$ git show -q --pretty=format:%G? HEAD
 
- 17
 2 files changed, 165 deletions(-)
+            17
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k
 
- 18
 delete mode 100644 www-servers/tomcat/Manifest
-
- 19
 delete mode 100644 www-servers/tomcat/tomcat-8.5.57-r1.ebuild
-
- 20
*** syncing robert7k
-
- 21
*** synced robert7k
-
- 22
 * Sync succeeded
-
- 23
$ git log --format=%ci -1
-
- 24
$ git show -q --pretty=format:%G? HEAD
-
- 25
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k
-
- 26
 * Cache regenerated successfully
+            18
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad