chiark / gitweb /
fix double pushing on remote
authorthez3ro <io@thezero.org>
Wed, 17 May 2017 21:08:25 +0000 (23:08 +0200)
committerthez3ro <io@thezero.org>
Wed, 17 May 2017 21:08:25 +0000 (23:08 +0200)
commitec30d73f13ef93c6c36ea24e3ef41304b3d295bd
treeadf75fccdd8e78f4d0ab4254887d73209e3482d6
parent87066bc1d5301e07f8541a588da6aa8c51b7ef55
fix double pushing on remote
fdroidserver/server.py