|
Size: 1372
Comment: note on mlton since I may be tired tomorrow morning
|
Size: 1949
Comment: we should deal with the paypal account contact info now that we have plenty of funds in the bank and won't risk insolvency if they lock us out
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 10: | Line 10: |
| * ClintonEbadi just needs to renew everything this weekend, no big deal (usually do it just before elections though) | |
| Line 14: | Line 15: |
| * Change paypal contact name * We tried maybe five years ago, but it was derailed by bikeshedding over the [[LogoDiscussion#Letterhead_.28Proposed.29|Letter Head]]. ClintonEbadi proposes we just use what has been suggested for this instead of dealing with formally adopting one before getting AdamChlipala removed as the contact, as he has not been a board member in many years and it's not great to leave former board members on important accounts. |
1. When
2. Proposed Agenda
- Elect officers so we can file with Pennsylvania by April 30
- General update on finances
- GANDI domain renewal email from April 13 - anything we need to do?
ClintonEbadi just needs to renew everything this weekend, no big deal (usually do it just before elections though)
- Status of volunteer coordinator request
Status & planning for new HCOOP Meetbot (not yet in use)
Quick discussion about the Debian mlton package - how we use it, the impact to us given that it's not officially in Debian any more
ClintonEbadi says: to summarize, I just build it from source using the sid packaging although there has finally been a new release so that's a bit out of date. It is kind of complicated to bootstrap though: have to use an existing binary package injected into the pbuilder to build mlton, then after that inject the new package to the pbuilder to build again to ensure a clean build. AFAICT the dropping from stable is because there's a circular build dependency that requires manual intervention to break. This isn't too bad, because until Debian 8 IIRC it wasn't even in Debian at all and we just built to /usr/local.
- Change paypal contact name
We tried maybe five years ago, but it was derailed by bikeshedding over the Letter Head. ClintonEbadi proposes we just use what has been suggested for this instead of dealing with formally adopting one before getting AdamChlipala removed as the contact, as he has not been a board member in many years and it's not great to leave former board members on important accounts.
3. Records
3.1. Minutes
Minutes will be posted after the meeting has concluded.