From 0de851fab90f47b73974f6435b7ebf9a81bfb069 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Wed, 8 Jul 2020 09:05:09 +0000 Subject: 2020-07-08T09:00:01Z --- robert7k.html | 30 ++++++++++++++++++++++-------- 1 file changed, 22 insertions(+), 8 deletions(-) (limited to 'robert7k.html') diff --git a/robert7k.html b/robert7k.html index b7985d8905df..109537e92299 100644 --- a/robert7k.html +++ b/robert7k.html @@ -30,21 +30,35 @@ 10
$ pmaint sync robert7k
- 11
Already up to date.
+            11
From https://github.com/robert7k/gentoo-overlay
 

-            12
*** syncing robert7k
+            12
   cb32497..9ed8931  master     -> origin/master
 

-            13
*** synced robert7k
+            13
Updating cb32497..9ed8931
 

-            14
 * Sync succeeded
+            14
Fast-forward
 

-            15
$ git log --format=%ci -1
+            15
 dev-util/idea/Manifest                                                | 4 ++--
 

-            16
$ git show -q --pretty=format:%G? HEAD
+            16
 ...a-2020.1.2.201.7846.76.ebuild => idea-2020.1.3.201.8538.31.ebuild} | 0
 

-            17
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k
+            17
 2 files changed, 2 insertions(+), 2 deletions(-)
 

-            18
 * Cache regenerated successfully
+            18
 rename dev-util/idea/{idea-2020.1.2.201.7846.76.ebuild => idea-2020.1.3.201.8538.31.ebuild} (100%)
+

+            19
*** syncing robert7k
+

+            20
*** synced robert7k
+

+            21
 * Sync succeeded
+

+            22
$ git log --format=%ci -1
+

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

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

+            25
 * Cache regenerated successfully
 

 
         
-- 
cgit v1.2.3-65-gdbad