diff options
author | 2019-11-19 15:48:58 +0000 | |
---|---|---|
committer | 2019-11-19 15:48:58 +0000 | |
commit | 06b332cdfc934f510c8c49d15b73a490b1bd243b (patch) | |
tree | bac97d01707333da025d5e31e2f12aab401133f2 /grub2-themes.txt | |
parent | 2019-11-19T15:00:01Z (diff) | |
download | repos-06b332cdfc934f510c8c49d15b73a490b1bd243b.tar.gz repos-06b332cdfc934f510c8c49d15b73a490b1bd243b.tar.bz2 repos-06b332cdfc934f510c8c49d15b73a490b1bd243b.zip |
2019-11-19T15:40:01Z
Diffstat (limited to 'grub2-themes.txt')
-rw-r--r-- | grub2-themes.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grub2-themes.txt b/grub2-themes.txt index 508f0a59ffd2..d3ec436d4d63 100644 --- a/grub2-themes.txt +++ b/grub2-themes.txt @@ -16,6 +16,7 @@ 'status': 'official'} * Adding new repository $ pmaint sync grub2-themes +WARNING:pkgcore:gitlab repo at '/var/lib/repo-mirror-ci/sync/gitlab', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). Cloning into '/var/lib/repo-mirror-ci/sync/grub2-themes'... fatal: could not read Username for 'https://github.com': No such device or address *** syncing grub2-themes |