-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2025 10 14
Leo Collins edited this page Oct 14, 2025
·
8 revisions
Date and time 2025-10-14 1600 UTC+1
- Pick Chair and Minuter (CW 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.
- LC: Try to merge RNH' PR: Movable VOM
- CW: More testing configurations (minutes)
- ~All: Go through issues and mark with "good first issue" for new MSc/PhD contributor projects.
Present:
Apologies:
Who uses it? What do we do when downstream packages have main and release branches?
Related: https://github.com/firedrakeproject/firedrake/pull/4640
https://github.com/CCMI-CDT/programming-projects/issues
https://github.com/firedrakeproject/firedrake/pull/4582
1600 UTC 2025-10-21