diff options
author | 2019-10-26 09:55:27 +0000 | |
---|---|---|
committer | 2019-10-26 09:55:27 +0000 | |
commit | c865d32b2931dbdbcf1c756a5230b3e20488a01e (patch) | |
tree | 28e1fe0d89926937f540c27422459f9eeb150646 /eroen.txt | |
parent | 2019-10-26T09:20:01Z (diff) | |
download | repos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.tar.gz repos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.tar.bz2 repos-c865d32b2931dbdbcf1c756a5230b3e20488a01e.zip |
2019-10-26T09:40:01Z
Diffstat (limited to 'eroen.txt')
-rw-r--r-- | eroen.txt | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/eroen.txt b/eroen.txt index 072ead7b8034..d1008288153e 100644 --- a/eroen.txt +++ b/eroen.txt @@ -11,10 +11,16 @@ 'uri': 'git+ssh://git@git.gentoo.org/user/eroen.git'}], 'status': 'unofficial'} $ pmaint sync eroen -Already up to date. +fatal: unable to access 'https://anongit.gentoo.org/git/user/eroen.git/': Operation timed out after 300016 milliseconds with 0 out of 0 bytes received +*** syncing eroen +*** failed syncing eroen + * Sync failed with 1 + * Will try to re-create +$ pmaint sync eroen +Cloning into '/var/lib/repo-mirror-ci/sync/eroen'... *** syncing eroen *** synced eroen - * 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 eroen |