summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-05-21 17:08:22 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-05-21 17:08:22 +0000
commit99d13101c8be55976c6dea2cddd1105160ade6ed (patch)
treee53eeed10fda306eec1531bf64b714e0732b6926 /pentoo.txt
parent2020-05-21T16:30:01Z (diff)
downloadrepos-99d13101c8be55976c6dea2cddd1105160ade6ed.tar.gz
repos-99d13101c8be55976c6dea2cddd1105160ade6ed.tar.bz2
repos-99d13101c8be55976c6dea2cddd1105160ade6ed.zip
2020-05-21T17:00:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r--pentoo.txt10
1 files changed, 9 insertions, 1 deletions
diff --git a/pentoo.txt b/pentoo.txt
index 547c6f8d7fe3..58884f75f0ca 100644
--- a/pentoo.txt
+++ b/pentoo.txt
@@ -10,7 +10,15 @@
{'type': 'git', 'uri': 'git@github.com:pentoo/pentoo-overlay.git'}],
'status': 'official'}
$ pmaint sync pentoo
-Already up to date.
+From https://github.com/pentoo/pentoo-overlay
+ 57c92491f..bff2f3e28 master -> origin/master
+Updating 57c92491f..bff2f3e28
+Fast-forward
+ .../{zero-system-2020.1.ebuild => zero-system-2020.1-r1.ebuild} | 1 +
+ profiles/pentoo/zero-system/package.accept_keywords/media-libs | 7 +++++--
+ profiles/pentoo/zero-system/package.accept_keywords/media-video | 2 ++
+ 3 files changed, 8 insertions(+), 2 deletions(-)
+ rename pentoo/zero-system/{zero-system-2020.1.ebuild => zero-system-2020.1-r1.ebuild} (99%)
*** syncing pentoo
*** synced pentoo
* Sync succeeded