3 commits

Author	SHA1	Message	Date
Ralf Jung	3316a2663f	configure sender of mails	2015-02-22 20:49:51 +01:00
Ralf Jung	b13f671882	add license headers and COPYING	2015-02-22 20:01:07 +01:00
Ralf Jung	503462ba44	redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports	2015-02-22 19:52:18 +01:00