diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2019-10-01 11:34:54 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-10-01 11:34:54 +0000 |
| commit | 1724a9f997c7591158d56daf7cfc49cb0a4c0901 (patch) | |
| tree | 0a77d5ac73a4913a6fdab518a41843e22a05aa58 /Drauthius.txt | |
| parent | 2019-10-01T10:40:01Z (diff) | |
| download | repos-1724a9f997c7591158d56daf7cfc49cb0a4c0901.tar.gz repos-1724a9f997c7591158d56daf7cfc49cb0a4c0901.tar.bz2 repos-1724a9f997c7591158d56daf7cfc49cb0a4c0901.zip | |
2019-10-01T11:20:01Z
Diffstat (limited to 'Drauthius.txt')
| -rw-r--r-- | Drauthius.txt | 10 |
1 files changed, 8 insertions, 2 deletions
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 |