diff options
| author | Ralf Jung <post@ralfj.de> | 2015-02-22 19:52:18 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2015-02-22 19:52:18 +0100 |
| commit | 503462ba4433cef0cf10deaf9595a431157832ee (patch) | |
| tree | 9610895981f7f5f2de5cd2bf383a4408dd138c9b /COPYING | |
| parent | 7373610f7eb8e516b6610370411b57a20e7af2a0 (diff) | |
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions