<div dir="ltr">I have decided to make a second poll to fix the issues of the first one.<div><br></div><div>All the e-mail tokens have been sent, check in your spam folder. Otherwise tell me.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Sep 17, 2019 at 2:31 PM Nicolas Pouillard <<a href="mailto:nicolas.pouillard%2Bagda@gmail.com">nicolas.pouillard+agda@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hello Agda list members,<div><br></div><div>Administrating the poll through CIVS has not been entirely smooth so far.</div><div><br></div><div>* Sending the ~600 emails didn't work well the first time only the first ~100 received it. Then I sent the rest by batches of 100.</div><div>* You have received it in french because the website supports various languages but implicitly sends them in the same language as the setting of the browser of the administrator.</div><div>* Some people have reported that their logo is not in the list or that only one version should be or should be split.</div><div>* One cannot change the the proposals after the poll is started.</div><div>* ~90 people already voted.</div><div><br></div><div>Either we continue with this poll and I resend emails in English (this does not allow to vote twice),</div><div>or we start a new one which can allow minor changes to the list of proposal at the cost of making re-vote those who did.</div><div><br></div><div>I will act on one of these choices this evening. I'd be glad to read your feedback meanwhile.</div><div><br></div><div>Let's keep in mind that while the choice of the logo is important, the goal is to balance the following:</div><div><br></div><div>* The list of proposal should match what the community proposed.</div><div>* The list of members should represent the Agda community.</div><div>* The process should be simple enough and trustworthy.</div><div>* The voluntary time to run the poll should be manageable.</div><div><br></div><div>Best regards,</div><div style="outline:none;padding:10px 0px;width:22px;margin:2px 0px 0px"><br></div></div>
</blockquote></div>