diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-07-20 19:35:07 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-07-20 19:35:07 +0000 |
| commit | de1ab8dad0941b23346dcdc4cda870bbb409ea6f (patch) | |
| tree | ccfa68707cc0e23648f0e5f2886dca725c5a1589 /reagentoo.txt | |
| parent | 2020-07-20T19:00:01Z (diff) | |
| download | repos-de1ab8dad0941b23346dcdc4cda870bbb409ea6f.tar.gz repos-de1ab8dad0941b23346dcdc4cda870bbb409ea6f.tar.bz2 repos-de1ab8dad0941b23346dcdc4cda870bbb409ea6f.zip | |
2020-07-20T19:30:01Z
Diffstat (limited to 'reagentoo.txt')
| -rw-r--r-- | reagentoo.txt | 23 |
1 files changed, 2 insertions, 21 deletions
diff --git a/reagentoo.txt b/reagentoo.txt index 47d74ed89af7..c06603342ff7 100644 --- a/reagentoo.txt +++ b/reagentoo.txt @@ -12,29 +12,10 @@ 'uri': 'git@github.com:reagentoo/gentoo-overlay.git'}], 'status': 'unofficial'} $ pmaint sync reagentoo -From https://github.com/reagentoo/gentoo-overlay - + 8a5e45a...d053d0a 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'... +Already up to date. *** syncing reagentoo *** synced reagentoo - * Sync succeeded after re-adding + * Sync succeeded $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 reagentoo |