diff options
author | 2019-11-30 15:05:26 +0000 | |
---|---|---|
committer | 2019-11-30 15:05:26 +0000 | |
commit | 586dd90de431f98549658611023f5475f1ce8143 (patch) | |
tree | bb370acb792a67a50d48fe5b35a19220f1832133 /gitlab.txt | |
parent | 2019-11-30T14:40:01Z (diff) | |
download | repos-586dd90de431f98549658611023f5475f1ce8143.tar.gz repos-586dd90de431f98549658611023f5475f1ce8143.tar.bz2 repos-586dd90de431f98549658611023f5475f1ce8143.zip |
2019-11-30T15:00:01Z
Diffstat (limited to 'gitlab.txt')
-rw-r--r-- | gitlab.txt | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gitlab.txt b/gitlab.txt index 60b61a1d124c..13519e3e6150 100644 --- a/gitlab.txt +++ b/gitlab.txt @@ -11,7 +11,10 @@ * Adding new repository $ pmaint sync gitlab Cloning into '/var/lib/repo-mirror-ci/sync/gitlab'... -fatal: repository 'https://gitlab.awesome-it.de/overlays/gitlab.git/' not found *** syncing gitlab -*** failed syncing gitlab - * Sync failed with 1 +*** synced gitlab + * Sync succeeded +$ git log --format=%ci -1 +$ git show -q --pretty=format:%G? HEAD +$ pmaint regen --use-local-desc --pkg-desc-index -t 1 gitlab + * Cache regenerated successfully |