chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93caf27) | patch
server: report errors pushing to git mirrors
authorHans-Christoph Steiner <hans@eds.org>
Wed, 19 Jul 2017 11:02:06 +0000 (13:02 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 19 Jul 2017 13:07:50 +0000 (15:07 +0200)
commit1f7f9d403c193098df33467677e2fd6c48a0439f
treeaacb0a767ec4e1e3be3881c329646e17246ad219tree | snapshot
parent93caf27319da76626afef357b57c9e9fc7fd4622commit | diff
server: report errors pushing to git mirrors

This makes `fdroid server update` fail if pushing to one of the git mirrors
fails.  This is what happens if the other methods fail, e.g. rsync or S3.

closes #347
fdroidserver/index.py diff | blob | history
fdroidserver/server.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.