diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-04-09 14:41:16 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-04-09 14:41:16 +0000 |
commit | 390ed2bcc8f8e15835275a1b84cf9803e3f2eb67 (patch) | |
tree | 3e7c69963b5a740a0a7a28a7a8c0b780e5b47be3 /0x4d4c.txt | |
parent | 2020-04-09T14:00:01Z (diff) | |
download | repos-390ed2bcc8f8e15835275a1b84cf9803e3f2eb67.tar.gz repos-390ed2bcc8f8e15835275a1b84cf9803e3f2eb67.tar.bz2 repos-390ed2bcc8f8e15835275a1b84cf9803e3f2eb67.zip |
2020-04-09T14:30: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 |