diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-06 08:08:07 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-06 08:08:07 +0000 |
commit | d0a7927ca79a481c148a54e4901e74f3c94ccb2b (patch) | |
tree | 95e53c5a1c166ce3aa60d6ab45aa652f371369b2 /0x4d4c.txt | |
parent | 2020-05-06T07:00:01Z (diff) | |
download | repos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.tar.gz repos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.tar.bz2 repos-d0a7927ca79a481c148a54e4901e74f3c94ccb2b.zip |
2020-05-06T08:00:01Z
Diffstat (limited to '0x4d4c.txt')
-rw-r--r-- | 0x4d4c.txt | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/0x4d4c.txt b/0x4d4c.txt index c18b376a32d8..e702a9dfaca7 100644 --- a/0x4d4c.txt +++ b/0x4d4c.txt @@ -13,10 +13,16 @@ {'type': 'git', 'uri': 'git@github.com:0x4d4c/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync 0x4d4c -Already up to date. +fatal: unable to access 'https://github.com/0x4d4c/gentoo-overlay.git/': Failed to connect to github.com port 443: Connection timed out +*** syncing 0x4d4c +!!! failed syncing 0x4d4c + * Sync failed with 1 + * Will try to re-create +$ pmaint sync 0x4d4c +Cloning into '/var/lib/repo-mirror-ci/sync/0x4d4c'... *** syncing 0x4d4c *** synced 0x4d4c - * 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 0x4d4c |