diff options
Diffstat (limited to 'JRG.txt')
| -rw-r--r-- | JRG.txt | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -14,11 +14,14 @@ 'uri': 'git@github.com:john-r-graham/jrg-overlay.git'}], 'status': 'unofficial'} $ pmaint sync JRG -Already up to date. +fatal: unable to access 'https://github.com/john-r-graham/jrg-overlay.git/': The requested URL returned error: 504 *** syncing JRG -*** synced JRG - * Sync succeeded -$ git log --format=%ci -1 -$ git show -q --pretty=format:%G? HEAD -$ pmaint regen --use-local-desc --pkg-desc-index -t 1 JRG - * Cache regenerated successfully +!!! failed syncing JRG + * Sync failed with 1 + * Will try to re-create +$ pmaint sync JRG +Cloning into '/var/lib/repo-mirror-ci/sync/JRG'... +fatal: unable to access 'https://github.com/john-r-graham/jrg-overlay.git/': The requested URL returned error: 504 +*** syncing JRG +!!! failed syncing JRG + * Sync failed again with 1, removing |