Jake I can help with this, though I don’t exactly know *when*. Most everything in my life is being pushed to “after burning man” right now. Feel free to text me tho. 

On Thu, Jul 6, 2023 at 8:37 PM Yardena Cohen via sudo-discuss <sudo-discuss@sudoroom.org> wrote:

> This idea has already been run through the omni building group and after an
> initial freakout of "omg drill a hole in the roof!?!?" people realized that
> the roof has several drains in it already and that's how you remove water from
> it.  There are not objections from that group anymore.

This is an uncharitable summary, but true enough. I initially pushed
back on this plan, but I now accept that it's a good idea and am
grateful to Jake for the initiative and labor.
_______________________________________________
sudo-discuss mailing list -- sudo-discuss@sudoroom.org
To unsubscribe send an email to sudo-discuss-leave@sudoroom.org
More options at https://sudoroom.org/lists/postorius/lists/sudo-discuss.sudoroom.org/

_______________________________________________
sudo-discuss mailing list -- sudo-discuss@sudoroom.org
To unsubscribe send an email to sudo-discuss-leave@sudoroom.org
More options at https://sudoroom.org/lists/postorius/lists/sudo-discuss.sudoroom.org/