chiark / gitweb /
add git repo mirroring
authorthez3ro <io@thezero.org>
Fri, 10 Feb 2017 17:38:25 +0000 (18:38 +0100)
committerthez3ro <io@thezero.org>
Fri, 17 Feb 2017 15:05:57 +0000 (16:05 +0100)
commit5a9bcfbbf4568b8314abf6b47d76cdc0f8900013
tree2373b74c71a7dd2d8d241d15e8a5657876f22b42
parentfc433c803b71edff89ce090bcdc7c9e326c355d5
add git repo mirroring
examples/config.py
fdroidserver/common.py
fdroidserver/server.py
fdroidserver/update.py