Karl Palmskog (Sep 21 2020 at 09:52): Karl Palmskog (Sep 21 2020 at 09:52):@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.
Pierre-Marie Pédrot (Sep 23 2020 at 15:27):I think I'll narrow the choice to the three following weeks that have good scoring on the poll:
Pierre-Marie Pédrot (Sep 23 2020 at 15:28):Can core devs confirm they're fine with any one of those?
Pierre-Marie Pédrot (Sep 23 2020 at 15:28):The first option is in about one month from now but is the one where most people are available.
Pierre-Marie Pédrot (Sep 23 2020 at 15:29):It'd be nice if it were possible to stick for that one but we must then decide quickly.
Enrico Tassi (Sep 23 2020 at 15:36):All good for me.
Théo Zimmermann (Sep 23 2020 at 16:03)::ok:
Enrico Tassi (Sep 30 2020 at 07:26):"quickly"...
Enrico Tassi (Sep 30 2020 at 07:30):Spamming the core team: @Maxime Dénès @Emilio Jesús Gallego Arias @Hugo Herbelin @Matthieu Sozeau @Gaëtan Gilbert @Guillaume Melquiond @Yves Bertot
Enrico Tassi (Sep 30 2020 at 07:30):(half of them were not even subscribed to this stream @Pierre-Marie Pédrot ...)
Yves Bertot (Sep 30 2020 at 07:34):All dates announced above are fine with me.
Maxime Dénès (Sep 30 2020 at 07:36):The last two options are much better for me, since the first is during school holidays IIRC.
Guillaume Melquiond (Sep 30 2020 at 07:49):The three date spans are fine with me, though I prefer the first one.
Gaëtan Gilbert (Sep 30 2020 at 07:58):all ok
Matthieu Sozeau (Sep 30 2020 at 08:09):I prefer the last two spans, I'll be on vacations during the first
Hugo Herbelin (Sep 30 2020 at 08:32):all ok
Emilio Jesús Gallego Arias (Sep 30 2020 at 14:13):All slots OK for me too.
Pierre-Marie Pédrot (Sep 30 2020 at 14:35):There seems to be a preference for one of the two later dates then.
Pierre-Marie Pédrot (Oct 08 2020 at 08:14):OK, so the week of the 30th of November seems to be the best one in the end.
Pierre-Marie Pédrot (Oct 08 2020 at 08:14):I'll make an announcement today.
Cyril Cohen (Oct 09 2020 at 11:34):Just to be sure, is it online or at least hybrid?
Pierre-Marie Pédrot (Oct 09 2020 at 11:36):Purely online AFAIK.
Karl Palmskog (Oct 09 2020 at 12:11):@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
Pierre-Marie Pédrot (Oct 09 2020 at 12:17):It's literally the same link written there though?
Pierre-Marie Pédrot (Oct 09 2020 at 12:17):Discourse seems to be mangling the link somehow.
Pierre-Marie Pédrot (Oct 09 2020 at 12:18):OK, I added a dummy link wrapper in the markdown syntax and it seems to have done the trick.
Last updated: Jun 11 2023 at 00:30 UTC