From: Ralf Jung Date: Sun, 22 Feb 2015 18:52:18 +0000 (+0100) Subject: redesign to use force pushes only if necessary, to avoid race conditions, and to... X-Git-Url: https://git.ralfj.de/git-mirror.git/commitdiff_plain/503462ba4433cef0cf10deaf9595a431157832ee?hp=503462ba4433cef0cf10deaf9595a431157832ee redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports ---