summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-06-05 17:34:55 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-06-05 17:34:55 +0000
commit2176198898d7e4ec9af552f69daed4f6f31bb0a8 (patch)
tree84417912f880e34326bf9f2ad767e5d231cdb9a4 /ferki.txt
parent2020-06-05T17:00:01Z (diff)
downloadrepos-2176198898d7e4ec9af552f69daed4f6f31bb0a8.tar.gz
repos-2176198898d7e4ec9af552f69daed4f6f31bb0a8.tar.bz2
repos-2176198898d7e4ec9af552f69daed4f6f31bb0a8.zip
2020-06-05T17:30:01Z
Diffstat (limited to 'ferki.txt')
-rw-r--r--ferki.txt8
1 files changed, 7 insertions, 1 deletions
diff --git a/ferki.txt b/ferki.txt
index 381351de065f..e115e6f191ff 100644
--- a/ferki.txt
+++ b/ferki.txt
@@ -12,7 +12,13 @@
'uri': 'git+ssh://git@github.com/ferki/gentoo-overlay.git'}],
'status': 'unofficial'}
$ pmaint sync ferki
-Already up to date.
+From https://github.com/ferki/gentoo-overlay
+ f5d1432..ef64f5b master -> origin/master
+ 3bc401b..ab3cae3 clipmenu -> origin/clipmenu
+Updating f5d1432..ef64f5b
+Fast-forward
+ x11-misc/clipmenu/clipmenu-6.0.1.ebuild | 5 +++--
+ 1 file changed, 3 insertions(+), 2 deletions(-)
*** syncing ferki
*** synced ferki
* Sync succeeded