chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cc15d0) | patch
server: rely on rsync to delete files from git-mirror
authorHans-Christoph Steiner <hans@eds.org>
Tue, 11 Apr 2017 19:29:55 +0000 (21:29 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 12 Apr 2017 13:04:04 +0000 (15:04 +0200)
commitd3b9dbece968e8ce127e38a495d40eecc66fd70b
tree01646a910e87de262336d8478c25d205c25d8dc1tree | snapshot
parent5cc15d0fa9f70057b05ae6429cf1e683eeddfd09commit | diff
server: rely on rsync to delete files from git-mirror

Instead of each time deleting the whole local git-mirror repo, and
recreating it, this just deletes the .git/ dir, then lets the rsync in
_local_sync() handle deleting anything that should no longer be in the repo.
fdroidserver/server.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.