summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-04-11 14:34:49 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-04-11 14:34:49 +0000
commit2ce9ddc37992afeb180da57428f61a7f9364f67f (patch)
tree5b956df68c84d0ae43bf44e49fc9d040f9f01be7 /ferki.txt
parent2020-04-11T14:00:01Z (diff)
downloadrepos-2ce9ddc37992afeb180da57428f61a7f9364f67f.tar.gz
repos-2ce9ddc37992afeb180da57428f61a7f9364f67f.tar.bz2
repos-2ce9ddc37992afeb180da57428f61a7f9364f67f.zip
2020-04-11T14:30:01Z
Diffstat (limited to 'ferki.txt')
-rw-r--r--ferki.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/ferki.txt b/ferki.txt
index 381351de065f..798e876c77d0 100644
--- a/ferki.txt
+++ b/ferki.txt
@@ -12,6 +12,8 @@
'uri': 'git+ssh://git@github.com/ferki/gentoo-overlay.git'}],
'status': 'unofficial'}
$ pmaint sync ferki
+From https://github.com/ferki/gentoo-overlay
+ b4d6a03..2215ff8 ansible-lint -> origin/ansible-lint
Already up to date.
*** syncing ferki
*** synced ferki