diff options
Diffstat (limited to 'reagentoo.txt')
| -rw-r--r-- | reagentoo.txt | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/reagentoo.txt b/reagentoo.txt index c06603342ff7..6bff7996bc20 100644 --- a/reagentoo.txt +++ b/reagentoo.txt @@ -12,10 +12,29 @@ 'uri': 'git@github.com:reagentoo/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync reagentoo -Already up to date. +From https://github.com/reagentoo/gentoo-overlay + + d295f25...bd8051f master -> origin/master (forced update) + +*** Please tell me who you are. + +Run + + git config --global user.email "you@example.com" + git config --global user.name "Your Name" + +to set your account's default identity. +Omit --global to set the identity only in this repository. + +fatal: empty ident name (for <repomirrorci@jacamar.gentoo.org>) not allowed +*** syncing reagentoo +*** failed syncing reagentoo + * Sync failed with 1 + * Will try to re-create +$ pmaint sync reagentoo +Cloning into '/var/lib/repo-mirror-ci/sync/reagentoo'... *** syncing reagentoo *** synced reagentoo - * Sync succeeded + * Sync succeeded after re-adding $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 reagentoo |