From 3eb18818cc1db1220ad931a4bf6b2e2962028064 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Thu, 12 Nov 2020 12:05:24 +0000 Subject: 2020-11-12T12:00:01Z --- pentoo.html | 32 ++++++++------------------------ 1 file changed, 8 insertions(+), 24 deletions(-) (limited to 'pentoo.html') diff --git a/pentoo.html b/pentoo.html index eaaee1a8bd87..6812c0e86d31 100644 --- a/pentoo.html +++ b/pentoo.html @@ -60,37 +60,21 @@ 25
- 26
From https://github.com/pentoo/pentoo-overlay
+            26
Already up to date.
 

-            27
   6e03e7c03..a345d7243  master     -> origin/master
+            27
*** syncing pentoo
 

-            28
Updating 6e03e7c03..a345d7243
+            28
*** synced pentoo
 

-            29
Fast-forward
+            29
 * Sync succeeded
 

-            30
 dev-util/semgrep-core-bin/Manifest                       |  2 +-
+            30
$ git log --format=%ci -1
 

-            31
 dev-util/semgrep-core-bin/semgrep-core-bin-0.28.0.ebuild | 11 ++++++++---
+            31
$ git show -q --pretty=format:%G? HEAD
 

-            32
 dev-util/semgrep-core/semgrep-core-0.28.0.ebuild         |  3 ++-
+            32
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 pentoo
 

-            33
 profiles/pentoo/base/package.keywords/dev-util           |  3 +++
-

-            34
 4 files changed, 14 insertions(+), 5 deletions(-)
-

-            35
*** syncing pentoo
-

-            36
*** synced pentoo
-

-            37
 * Sync succeeded
-

-            38
$ git log --format=%ci -1
-

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

-            40
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 pentoo
-

-            41
 * Cache regenerated successfully
+            33
 * Cache regenerated successfully
 

 
         
-- 
cgit v1.2.3-65-gdbad