diff options
Diffstat (limited to 'devpump-gor.txt')
| -rw-r--r-- | devpump-gor.txt | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/devpump-gor.txt b/devpump-gor.txt deleted file mode 100644 index 535eb723561a..000000000000 --- a/devpump-gor.txt +++ /dev/null @@ -1,28 +0,0 @@ -{'description': {'en': 'DevPump Gentoo Overlay'}, - 'homepage': 'https://github.com/DevPump/gentoo-overlay', - 'name': 'devpump-gor', - 'owner': [{'email': 'devpump@gmail.com', - 'name': 'Matt Fleming', - 'type': 'person'}], - 'quality': 'experimental', - 'source': [{'type': 'git', - 'uri': 'https://github.com/DevPump/gentoo-overlay.git'}], - 'status': 'unofficial'} -$ pmaint sync devpump-gor -WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/swegener' -WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs -WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id -WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id -*** syncing devpump-gor -Already up to date. -*** synced devpump-gor - * Sync succeeded -$ git log --format=%ci -1 -$ git show -q --pretty=format:%G? HEAD -$ pmaint regen --use-local-desc --pkg-desc-index -t 1 devpump-gor -WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/repos/genthree' has unsupported profile format: profile-bashrcs -WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id -WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id -WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/repos/genthree' has unsupported profile format: profile-bashrcs -WARNING:pkgcore:EAPI 7 isn't fully supported - * Cache regenerated successfully |