git-mirror - copy of git-mirror repo

	Commit message (Collapse)	Author	Age	Files	Lines
*	slightly more informative error messages	Ralf Jung	2016-02-07	1	-2/+2
\|
*	don't hard-code the path to the python interpreter	Ralf Jung	2015-06-18	1	-1/+1
\|
*	githook: slightly more robust against weird input	Ralf Jung	2015-06-08	1	-1/+4
\|
*	avoid needless format string position identifiers	Ralf Jung	2015-03-06	1	-2/+2
\|
*	add license headers and COPYING	Ralf Jung	2015-02-22	1	-1/+1
\|
*	redesign to use force pushes only if necessary, to avoid race conditions, ↵	Ralf Jung	2015-02-22	1	-0/+51
	and to add email reports