diff options
author | 2020-02-17 09:35:57 +0000 | |
---|---|---|
committer | 2020-02-17 09:35:57 +0000 | |
commit | fc27544b57c203bc9d2d2018d698b55fb69ad2bb (patch) | |
tree | 07e1f4481fcc3be851c74f197df5acc6640e4251 /gitlab.txt | |
parent | 2020-02-17T09:00:01Z (diff) | |
download | repos-fc27544b57c203bc9d2d2018d698b55fb69ad2bb.tar.gz repos-fc27544b57c203bc9d2d2018d698b55fb69ad2bb.tar.bz2 repos-fc27544b57c203bc9d2d2018d698b55fb69ad2bb.zip |
2020-02-17T09:30:01Z
Diffstat (limited to 'gitlab.txt')
-rw-r--r-- | gitlab.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gitlab.txt b/gitlab.txt index 13519e3e6150..25b31390cebe 100644 --- a/gitlab.txt +++ b/gitlab.txt @@ -8,9 +8,8 @@ 'source': [{'type': 'git', 'uri': 'https://gitlab.awesome-it.de/overlays/gitlab.git'}], 'status': 'unofficial'} - * Adding new repository $ pmaint sync gitlab -Cloning into '/var/lib/repo-mirror-ci/sync/gitlab'... +Already up to date. *** syncing gitlab *** synced gitlab * Sync succeeded |