Zulip Chat Archive
Stream: triage
Topic: issue #10802: Stars and bars
Random Issue Bot (Jan 16 2022 at 14:17):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Jan 16 2022 at 16:56):
@Huỳnh Trần Khanh
Random Issue Bot (May 09 2022 at 14:20):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 31 2022 at 14:31):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (May 31 2022 at 14:31):
It's slowly getting in
Random Issue Bot (Jul 25 2022 at 14:15):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Stuart Presnell (Jul 25 2022 at 17:51):
It's ready for review if anyone wants to take a look at it :smile:
Random Issue Bot (Aug 29 2022 at 14:15):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Stuart Presnell (Aug 29 2022 at 15:14):
"Stars and bars" was proved in #11162, so I think this can be closed now.
Random Issue Bot (Sep 29 2022 at 14:29):
Today I chose issue 10802 for discussion!
Stars and bars
Created by @Yaël Dillies (@YaelDillies) on 2021-12-15
Labels: good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC