diff options
Diffstat (limited to 'edgets.txt')
| -rw-r--r-- | edgets.txt | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/edgets.txt b/edgets.txt index b6748146fb0b..78dcadb6a053 100644 --- a/edgets.txt +++ b/edgets.txt @@ -25,17 +25,10 @@ preference for all repositories. You can also pass --rebase, --no-rebase, or --ff-only on the command line to override the configured default per invocation. -fatal: unable to access 'https://github.com/BlueManCZ/edgets.git/': Failed to connect to github.com port 443: No route to host -*** syncing edgets -!!! failed syncing edgets - * Sync failed with 1 - * Will try to re-create -$ pmaint sync edgets -WARNING:pkgcore:dwosky repo at '/var/lib/repo-mirror-ci/sync/dwosky', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). -Cloning into '/var/lib/repo-mirror-ci/sync/edgets'... +Already up to date. *** syncing edgets *** synced edgets - * 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 edgets |