wenzelm [Sat, 15 Oct 2016 21:08:04 +0200] rev 64232
clarified hg.id operation, with explicit tip as default;
wenzelm [Sat, 15 Oct 2016 21:02:39 +0200] rev 64231
added remote_build_history tasks: parallel on several remote hosts;
isabelle_identify: use self repos for robustness;
more logger context: options and ssh;
setup repository clones on demand;
clarified target repositories;
wenzelm [Sat, 15 Oct 2016 20:51:41 +0200] rev 64230
added setup_repository;
clarified root: expanded in target environment;
wenzelm [Sat, 15 Oct 2016 20:47:31 +0200] rev 64229
more operations;
wenzelm [Sat, 15 Oct 2016 19:08:32 +0200] rev 64228
expand relatively to given environment, notably remote HOME;
wenzelm [Sat, 15 Oct 2016 16:35:50 +0200] rev 64227
tuned;
wenzelm [Sat, 15 Oct 2016 16:35:18 +0200] rev 64226
tuned signature;
wenzelm [Sat, 15 Oct 2016 15:42:11 +0200] rev 64225
tuned;
wenzelm [Sat, 15 Oct 2016 15:23:06 +0200] rev 64224
clarified treatment of non-text bytes;
wenzelm [Sat, 15 Oct 2016 15:14:46 +0200] rev 64223
remove invocation of build_history: results are reported via stdout;