summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-08-17 01:25:42 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-08-17 01:25:42 +0000
commite1b6e363a312920cc72484b0915f354e9b9d493b (patch)
tree4485e8468edf114a2f0ce46d24cc88985db40d90 /pentoo.txt
parent2019-08-17T00:40:01Z (diff)
downloadrepos-e1b6e363a312920cc72484b0915f354e9b9d493b.tar.gz
repos-e1b6e363a312920cc72484b0915f354e9b9d493b.tar.bz2
repos-e1b6e363a312920cc72484b0915f354e9b9d493b.zip
2019-08-17T01:20:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r--pentoo.txt8
1 files changed, 7 insertions, 1 deletions
diff --git a/pentoo.txt b/pentoo.txt
index 547c6f8d7fe3..792292c7041f 100644
--- a/pentoo.txt
+++ b/pentoo.txt
@@ -10,7 +10,13 @@
{'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
+ a8baa4183..bd59b12a3 master -> origin/master
+Updating a8baa4183..bd59b12a3
+Fast-forward
+ .../{pentoo-radio-2019.2-r2.ebuild => pentoo-radio-2019.2-r3.ebuild} | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+ rename pentoo/pentoo-radio/{pentoo-radio-2019.2-r2.ebuild => pentoo-radio-2019.2-r3.ebuild} (97%)
*** syncing pentoo
*** synced pentoo
* Sync succeeded