diff options
author | 2019-11-15 11:25:19 +0000 | |
---|---|---|
committer | 2019-11-15 11:25:19 +0000 | |
commit | 7afec39c944d2d0e5d1d5d9e5866b7370902ed9d (patch) | |
tree | 512bf2a2e3247dd0d6c418b1538e590406c06fce /grub2-themes.txt | |
parent | 2019-11-15T10:40:01Z (diff) | |
download | repos-7afec39c944d2d0e5d1d5d9e5866b7370902ed9d.tar.gz repos-7afec39c944d2d0e5d1d5d9e5866b7370902ed9d.tar.bz2 repos-7afec39c944d2d0e5d1d5d9e5866b7370902ed9d.zip |
2019-11-15T11:20:01Z
Diffstat (limited to 'grub2-themes.txt')
-rw-r--r-- | grub2-themes.txt | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/grub2-themes.txt b/grub2-themes.txt index d0d41ba270c0..a5ddb7ed1845 100644 --- a/grub2-themes.txt +++ b/grub2-themes.txt @@ -15,11 +15,14 @@ 'uri': 'git@github.com:gentoo/grub2-themes-overlay.git'}], 'status': 'official'} $ pmaint sync grub2-themes -Already up to date. +fatal: could not read Username for 'https://github.com': No such device or address *** syncing grub2-themes -*** synced grub2-themes - * Sync succeeded -$ git log --format=%ci -1 -$ git show -q --pretty=format:%G? HEAD -$ pmaint regen --use-local-desc --pkg-desc-index -t 1 grub2-themes - * Cache regenerated successfully +*** failed syncing grub2-themes + * Sync failed with 1 + * Will try to re-create +$ pmaint sync grub2-themes +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 +*** failed syncing grub2-themes + * Sync failed again with 1, removing |