diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-08-22 04:18:41 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-08-22 04:18:41 +0000 |
commit | 8797359446c1ea67882e5324a7d43e2db3886119 (patch) | |
tree | 0d7bed4770a98bb9b9739a4b213c74700ced036c /ferki.txt | |
parent | 2024-08-22T04:00:00Z (diff) | |
download | repos-8797359446c1ea67882e5324a7d43e2db3886119.tar.gz repos-8797359446c1ea67882e5324a7d43e2db3886119.tar.bz2 repos-8797359446c1ea67882e5324a7d43e2db3886119.zip |
2024-08-22T04:15:00Z
Diffstat (limited to 'ferki.txt')
-rw-r--r-- | ferki.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ferki.txt b/ferki.txt index 59ef8984c052..ae41f336af79 100644 --- a/ferki.txt +++ b/ferki.txt @@ -15,6 +15,8 @@ pkgcore 0.12.24 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync ferki *** syncing ferki +From https://github.com/ferki/gentoo-overlay + d73e09d..8aed651 actionlint -> origin/actionlint Already up to date. *** synced ferki * Sync succeeded |