Community calendar

Stream: mathlib4

[Yaël Dillies]

Could we possibly acquire a community calendar that people could subscribe to? It would make tracking such meetings easier

[Notification Bot]

A message was moved here from #mathlib4 > review/triage meetings by Yaël Dillies.

[Kevin Buzzard]

We've tried one of these before and the issue is that nobody is prepared to say "I will maintain it" and then actually maintain it. And before you say "I will maintain it" I will remind you that you said "I will run the monthly mathlib blog posts" and you only ever did one ;-) Commiting to something like this is a nontrivial task and is very easy to forget once the novelty wears off.

[Yaël Dillies]

The monthly blog post for january is coming though :wink:

[Bolton Bailey]

Here is an ICS file for the meetings in the OP, at least
triage.ics