summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-08-17 02:05:57 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-08-17 02:05:57 +0000
commit2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087 (patch)
tree9c6589070760cb2400d2ff13a86b1d7f2e490ee7 /pentoo.txt
parent2019-08-17T01:20:01Z (diff)
downloadrepos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.tar.gz
repos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.tar.bz2
repos-2033a0dfdff2a397dc9e1b417b1fb7ee56ea7087.zip
2019-08-17T02:00:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r--pentoo.txt8
1 files changed, 1 insertions, 7 deletions
diff --git a/pentoo.txt b/pentoo.txt
index 792292c7041f..547c6f8d7fe3 100644
--- a/pentoo.txt
+++ b/pentoo.txt
@@ -10,13 +10,7 @@
{'type': 'git', 'uri': 'git@github.com:pentoo/pentoo-overlay.git'}],
'status': 'official'}
$ pmaint sync pentoo
-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%)
+Already up to date.
*** syncing pentoo
*** synced pentoo
* Sync succeeded