Does HCoop have an executive director? This seems a job for him/her. If not, I'd suggest the board appoint someone to manage this stuff and make decisions.<br><br>Also, I'd like to say that I much appreciate your dedication and willingness to acknowledge there are improvements that can be made. I know what burnout feels like, especially with volunteer work.<br>
<br>--philip<br><br><div class="gmail_quote">On Thu, Jul 30, 2009 at 12:04 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@hcoop.net">adamc@hcoop.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">ketti wrote:<br>
> On Thu, Jul 30, 2009 at 4:10 PM, Adam Chlipala<<a href="mailto:adamc@hcoop.net">adamc@hcoop.net</a>> wrote:<br>
><br>
><br>
>> I'd rather not even have admin privileges on the new servers, so that I<br>
>> can avoid being involved in technical stuff at all. This means that<br>
>> it's probably easiest if the new admins find a replacement for what<br>
>> Domtool is giving us now, though I might be persuaded to spend some time<br>
>> setting up Domtool again.<br>
>><br>
><br>
> I am familiar enough with SML to volunteer to maintain Domtool.<br>
><br>
<br>
</div>Thanks, that's good to know. We'll see if the architecture that folks<br>
come up with includes Domtool.<br>
<div><div></div><div class="h5"><br>
_______________________________________________<br>
HCoop-Discuss mailing list<br>
<a href="mailto:HCoop-Discuss@lists.hcoop.net">HCoop-Discuss@lists.hcoop.net</a><br>
<a href="https://lists.hcoop.net/listinfo/hcoop-discuss" target="_blank">https://lists.hcoop.net/listinfo/hcoop-discuss</a><br>
</div></div></blockquote></div><br>