<div dir="ltr"><div>On Mon, Nov 3, 2014 at 8:02 PM, Markus Mohrhard <<a href="mailto:markus.mohrhard@googlemail.com" target="_blank">markus.mohrhard@googlemail.com</a>> wrote:<br>><br>> Maybe not weekly but bi-weekly or monthly. Otherwise it will only be<br>> done from time to time without a plan. <br>><br>Hrm. Good point.<br><br>> <br>> Even weekly would not hurt as<br>> we have neither a problem with disk space or build hardware.<br>><br></div>Cool.  <br><div><div><br><br>><br>> You can choose whatever technology is a good fit and that you know. Of<br>> course something that other people can understand and maintain is<br>> preferred. A shell script sounds like a good idea for this task and<br>> would simplify the handling.<br>><br></div><div>Alright, I guess that means Ill have a go at it, then. So who do I need to mail my pub ssh key and what is the hostname/ip of the machine I would be allowed to royally mess up for this purpose ?<br>;)<br><br><br><br></div><div>- Maarten<br></div><div><br><br></div></div></div>