diff options
author | 2018-05-28 14:26:10 +0000 | |
---|---|---|
committer | 2018-05-28 14:26:10 +0000 | |
commit | 1de7b3df9cf90a8d45c0ca740e75ed4d2a64d6af (patch) | |
tree | fce0821009c09a21fe49ed464faa5433c163b6f1 /youbroketheinternet.txt | |
parent | 2018-05-28T14:00:01Z (diff) | |
download | repos-1de7b3df9cf90a8d45c0ca740e75ed4d2a64d6af.tar.gz repos-1de7b3df9cf90a8d45c0ca740e75ed4d2a64d6af.tar.bz2 repos-1de7b3df9cf90a8d45c0ca740e75ed4d2a64d6af.zip |
2018-05-28T14:20:01Z
Diffstat (limited to 'youbroketheinternet.txt')
-rw-r--r-- | youbroketheinternet.txt | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/youbroketheinternet.txt b/youbroketheinternet.txt index c4a6042941d6..31d1ce508650 100644 --- a/youbroketheinternet.txt +++ b/youbroketheinternet.txt @@ -17,9 +17,18 @@ WARNING:pkgcore:'genthree' repo at '/home/mgorny/sync/genthree' has unsupported WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id *** syncing youbroketheinternet -Already up to date. +fatal: unable to access 'https://gnunet.org/git/youbroketheinternet-overlay.git/': SSL: no alternative certificate subject name matches target host name 'gnunet.org' +*** failed syncing youbroketheinternet + * Sync failed with 1 + * Will try to re-create +$ pmaint sync youbroketheinternet +WARNING:pkgcore:'genthree' repo at '/home/mgorny/sync/genthree' has unsupported profile format: profile-bashrcs +WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id +WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id +*** syncing youbroketheinternet +Cloning into '/home/mgorny/sync/youbroketheinternet'... *** synced youbroketheinternet - * 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 youbroketheinternet |