diff options
Diffstat (limited to 'Case_Of.txt')
| -rw-r--r-- | Case_Of.txt | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/Case_Of.txt b/Case_Of.txt index 6a298a76db45..fc51e8349676 100644 --- a/Case_Of.txt +++ b/Case_Of.txt @@ -11,15 +11,13 @@ {'type': 'git', 'uri': 'git+ssh://git@framagit.org/Case_Of/gentoo-overlay.git'}], 'status': 'unofficial'} -$ pmaint sync Case_Of -fatal: unable to access 'https://framagit.org/Case_Of/gentoo-overlay.git/': Couldn't resolve host 'framagit.org' -*** syncing Case_Of -!!! failed syncing Case_Of - * Sync failed with 1 - * Will try to re-create + * Adding new repository $ pmaint sync Case_Of Cloning into '/var/lib/repo-mirror-ci/sync/Case_Of'... -fatal: unable to access 'https://framagit.org/Case_Of/gentoo-overlay.git/': Couldn't resolve host 'framagit.org' *** syncing Case_Of -!!! failed syncing Case_Of - * Sync failed again with 1, removing +*** synced Case_Of + * Sync succeeded +$ git log --format=%ci -1 +$ git show -q --pretty=format:%G? HEAD +$ pmaint regen --use-local-desc --pkg-desc-index -t 1 Case_Of + * Cache regenerated successfully |