diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-23 18:33:07 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-23 18:33:07 +0000 |
commit | 40e53039c28fc376c837ad19fbb327b93cac5100 (patch) | |
tree | 7a8bf5d6d9f6ba8e1adde4cbca8d3b7f3cbbe107 /robertgzr.txt | |
parent | 2021-01-23T17:00:01Z (diff) | |
download | repos-40e53039c28fc376c837ad19fbb327b93cac5100.tar.gz repos-40e53039c28fc376c837ad19fbb327b93cac5100.tar.bz2 repos-40e53039c28fc376c837ad19fbb327b93cac5100.zip |
2021-01-23T18:00:01Z
Diffstat (limited to 'robertgzr.txt')
-rw-r--r-- | robertgzr.txt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/robertgzr.txt b/robertgzr.txt new file mode 100644 index 000000000000..4fb7700841ad --- /dev/null +++ b/robertgzr.txt @@ -0,0 +1,21 @@ +{'description': {'en': "robertgzr's personal overlay."}, + 'feed': ['https://git.sr.ht/~robertgzr/portage/log/rss.xml'], + 'homepage': 'https://git.sr.ht/~robertgzr/portage', + 'name': 'robertgzr', + 'owner': [{'email': 'robert@gnzler.io', + 'name': 'Robert Günzler', + 'type': 'person'}], + 'quality': 'experimental', + 'source': [{'type': 'git', 'uri': 'https://git.sr.ht/~robertgzr/portage'}, + {'type': 'git', 'uri': 'ssh://git@git.sr.ht:~robertgzr/portage'}], + 'status': 'unofficial'} + * Adding new repository +$ pmaint sync robertgzr +Cloning into '/var/lib/repo-mirror-ci/sync/robertgzr'... +*** syncing robertgzr +*** synced robertgzr + * Sync succeeded +$ git log --format=%ci -1 +$ git show -q --pretty=format:%G? HEAD +$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robertgzr + * Cache regenerated successfully |