From 54a994cd6911ce7ac4b35361e94f60728bb6b40f Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Tue, 21 Jul 2020 10:05:07 +0000 Subject: 2020-07-21T10:00:01Z --- reagentoo.html | 54 ++++++++---------------------------------------------- 1 file changed, 8 insertions(+), 46 deletions(-) (limited to 'reagentoo.html') diff --git a/reagentoo.html b/reagentoo.html index b5e2399f4108..54704d05be3a 100644 --- a/reagentoo.html +++ b/reagentoo.html @@ -38,59 +38,21 @@ 14
$ pmaint sync reagentoo
 
- 15
From https://github.com/reagentoo/gentoo-overlay
+            15
Already up to date.
 
- 16
 + d053d0a...5344e05 master     -> origin/master  (forced update)
+            16
*** syncing reagentoo
 
- 17
+            17
*** synced reagentoo
 
- 18
*** Please tell me who you are.
+            18
 * Sync succeeded
 
- 19
+            19
$ git log --format=%ci -1
 
- 20
Run
+            20
$ git show -q --pretty=format:%G? HEAD
 
- 21
+            21
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 reagentoo
 
- 22
  git config --global user.email "you@example.com"
-
- 23
  git config --global user.name "Your Name"
-
- 24
-
- 25
to set your account's default identity.
-
- 26
Omit --global to set the identity only in this repository.
-
- 27
-
- 28
fatal: empty ident name (for <repomirrorci@jacamar.gentoo.org>) not allowed
-
- 29
*** syncing reagentoo
-
- 30
!!! failed syncing reagentoo
-
- 31
 * Sync failed with 1
-
[FATAL] - 32
 * Will try to re-create
-
- 33
$ pmaint sync reagentoo
-
- 34
Cloning into '/var/lib/repo-mirror-ci/sync/reagentoo'...
-
- 35
*** syncing reagentoo
-
- 36
*** synced reagentoo
-
- 37
 * Sync succeeded after re-adding
-
- 38
$ git log --format=%ci -1
-
- 39
$ git show -q --pretty=format:%G? HEAD
-
- 40
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 reagentoo
-
- 41
 * Cache regenerated successfully
+            22
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad