diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-17 01:25:42 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-17 01:25:42 +0000 |
commit | e1b6e363a312920cc72484b0915f354e9b9d493b (patch) | |
tree | 4485e8468edf114a2f0ce46d24cc88985db40d90 /pentoo.txt | |
parent | 2019-08-17T00:40:01Z (diff) | |
download | repos-e1b6e363a312920cc72484b0915f354e9b9d493b.tar.gz repos-e1b6e363a312920cc72484b0915f354e9b9d493b.tar.bz2 repos-e1b6e363a312920cc72484b0915f354e9b9d493b.zip |
2019-08-17T01:20:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 8 |
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 |