14 commits

Author	SHA1	Message	Date
David C W Brown	99bd3b3105	Checkin real (not merged) postpush.pl	2016-06-27 20:46:43 +01:00
David C W Brown	a15f943d5b	Unwanted merge commit. Bloody git.	2016-06-27 20:44:12 +01:00
David C W Brown	77f6fa772c	Working post push hook now?	2016-06-27 20:41:49 +01:00
David Brown	3a17e1a656	Debugging postpush.pl	2016-06-27 17:56:19 +01:00
David Brown	61c9790edc	Debugging postpush.pl	2016-06-27 17:53:20 +01:00
David Brown	dff410e5b5	Debugging postpush.pl	2016-06-27 17:49:22 +01:00
David Brown	71e5e38d89	Debugging postpush.pl	2016-06-27 17:43:49 +01:00
David Brown	f383a6c032	Correct quoting in postpush.pl.	2016-06-27 17:23:18 +01:00
David Brown	a359e16ae9	webhook progress	2016-06-27 12:31:00 +01:00
David Brown	44889a1b2f	Add newline to postpush script	2016-06-26 17:12:47 +01:00
David Brown	a5a8809b91	Git push webhook script beginning to work. Fiddle with readme.	2016-06-26 17:07:40 +01:00
David Brown	119365d4a9	Add buildall perl script	2016-06-22 14:12:14 +01:00
David Brown	739a94313b	Slight doc changes, new multi-machine build approach.	2016-06-20 18:36:44 +01:00
David Brown	8b0bd9c675	Update tools to v2.	2016-06-16 16:31:59 +01:00