diff options
author | 2018-05-28 14:48:13 +0000 | |
---|---|---|
committer | 2018-05-28 14:48:13 +0000 | |
commit | 9ea1c3c04be52025612f61699d3903eafbd7a151 (patch) | |
tree | c29c57ef17b0a49b7fd339fba220478b862b01c7 /youbroketheinternet.txt | |
parent | 2018-05-28T14:20:01Z (diff) | |
download | repos-9ea1c3c04be52025612f61699d3903eafbd7a151.tar.gz repos-9ea1c3c04be52025612f61699d3903eafbd7a151.tar.bz2 repos-9ea1c3c04be52025612f61699d3903eafbd7a151.zip |
2018-05-28T14:40:01Z
Diffstat (limited to 'youbroketheinternet.txt')
-rw-r--r-- | youbroketheinternet.txt | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/youbroketheinternet.txt b/youbroketheinternet.txt index 31d1ce508650..c4a6042941d6 100644 --- a/youbroketheinternet.txt +++ b/youbroketheinternet.txt @@ -17,18 +17,9 @@ 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 -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'... +Already up to date. *** synced youbroketheinternet - * Sync succeeded after re-adding + * Sync succeeded $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 youbroketheinternet |