chiark / gitweb /
Merge branch 'cdn-git-mirror' into 'master'
authorTorsten Grote <t+gitlab@grobox.de>
Wed, 17 May 2017 22:47:56 +0000 (22:47 +0000)
committerTorsten Grote <t+gitlab@grobox.de>
Wed, 17 May 2017 22:47:56 +0000 (22:47 +0000)
commitee57285817ae3072fb4d708126de041ac328806e
treeadf75fccdd8e78f4d0ab4254887d73209e3482d6
parent87066bc1d5301e07f8541a588da6aa8c51b7ef55
parentec30d73f13ef93c6c36ea24e3ef41304b3d295bd
Merge branch 'cdn-git-mirror' into 'master'

Fix double pushing on remote git-mirror

See merge request !272