-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2026 01 06
Connor Ward edited this page Jan 6, 2026
·
4 revisions
Date and time 2026-01-06 1600 UTC+1
- Pick Chair and Minuter (IM to pick)
- ALL: (ongoing) triage the open issues and confirm if they are indeed still open (and perhaps provide labels)
- ALL: do things with SV's branches
- DH: Email to Andreas to have 2 (+ others!!!) loopy PRs merged TODO: FIND OUT WHICH PRS THESE ARE
- DH: Talk to GregVernon about PR#2116.
- CW: More testing configurations (minutes)
Present: CW (minuter), IM, DH, RK, PB, AC
Apologies:
- DH: Has intermittent teaching responsibilities at this time this term.
- DH: Wednesday at 1600 is likely a good candidate for this term. He will create a poll. Only other option is realistically same time on Thursday.
- IM: Can't do Wednesday. Thursday is fine.
- DH: Nominally 1600 on Thursdays then.
How to give credit to original authors?
- DH: Add to the authors list for Firedrake, and also a notice in the relevant files.
- Various PRs reviewed, some merged.
TBC, see above