chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8954fc) | patch
server: only rm git mirror if the git history is getting too large
authorHans-Christoph Steiner <hans@eds.org>
Mon, 10 Jul 2017 15:13:26 +0000 (17:13 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 19 Jul 2017 11:03:17 +0000 (13:03 +0200)
commit6d8e916491f9fc4d252d4249682ff63561b8aa13
tree4b17b734dc3f3b151b02409cdbb7a717fa838630tree | snapshot
parentd8954fc033daa437f8a3882f1c163da2aa51e2d8commit | diff
server: only rm git mirror if the git history is getting too large

git hosts like github, gitlab, bitbucket usually allow 1 gig repos. This
changes the git mirroring behavior to keep the history until the repo hits
1 gig.  Keeping history makes updates a lot faster, since the whole repo
does not need to be pushed on each update.
fdroidserver/server.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.