From 1724a9f997c7591158d56daf7cfc49cb0a4c0901 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Tue, 1 Oct 2019 11:34:54 +0000 Subject: 2019-10-01T11:20:01Z --- Drauthius.txt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'Drauthius.txt') diff --git a/Drauthius.txt b/Drauthius.txt index 9235ddc7a4b5..a0ee8208cb25 100644 --- a/Drauthius.txt +++ b/Drauthius.txt @@ -14,10 +14,16 @@ 'uri': 'git+ssh://git@git.gentoo.org/repo/user/Drauthius.git'}], 'status': 'unofficial'} $ pmaint sync Drauthius -Already up to date. +fatal: unable to access 'https://anongit.gentoo.org/git/repo/user/Drauthius.git/': Couldn't resolve host 'anongit.gentoo.org' +*** syncing Drauthius +*** failed syncing Drauthius + * Sync failed with 1 + * Will try to re-create +$ pmaint sync Drauthius +Cloning into '/var/lib/repo-mirror-ci/sync/Drauthius'... *** syncing Drauthius *** synced Drauthius - * Sync succeeded + * Sync succeeded after re-adding $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 Drauthius -- cgit v1.2.3-65-gdbad