@Pierre-Marie Pédrot any news on fixing the date for CUDW? The first suggested date span (probably not the winner) is coming up next week.
I think I'll narrow the choice to the three following weeks that have good scoring on the poll:
Can core devs confirm they're fine with any one of those?
The first option is in about one month from now but is the one where most people are available.
It'd be nice if it were possible to stick for that one but we must then decide quickly.
All good for me.
Spamming the core team: @Maxime Dénès @Emilio Jesús Gallego Arias @Hugo Herbelin @Matthieu Sozeau @Gaëtan Gilbert @Guillaume Melquiond @Yves Bertot
(half of them were not even subscribed to this stream @Pierre-Marie Pédrot ...)
All dates announced above are fine with me.
The last two options are much better for me, since the first is during school holidays IIRC.
The three date spans are fine with me, though I prefer the first one.
I prefer the last two spans, I'll be on vacations during the first
All slots OK for me too.
There seems to be a preference for one of the two later dates then.
OK, so the week of the 30th of November seems to be the best one in the end.
I'll make an announcement today.
Just to be sure, is it online or at least hybrid?
Purely online AFAIK.
@Pierre-Marie Pédrot can you please link to the exact CUDW stream from the Discourse (https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020)? To my knowledge, the stream is not even visible if someone signs up to the Coq Zulip
It's literally the same link written there though?
Discourse seems to be mangling the link somehow.
OK, I added a dummy link wrapper in the markdown syntax and it seems to have done the trick.
Last updated: Oct 16 2021 at 07:02 UTC