| 16:56 | <Devin Rousso> | if i want to add a proposal to the 2025/11 agenda, do i need to fork the agendas repo or can i just create a branch? |
| 16:57 | <nicolo-ribaudo> | If you have permission to create a branch it's fine to just do it |
| 16:57 | <Devin Rousso> | how does one get permission? |
| 17:08 | <Chris de Almeida> | delegates can create branches. it's up to you whether to fork or not. some do, some don't |
| 17:10 | <Devin Rousso> | huh it wasnt working a minute ago but it just did |
| 17:10 | <Devin Rousso> | thanks! |
| 17:13 | <Chris de Almeida> | ah, because you are an invited expert. I noticed that team didn't have permissions and added it, so that explains that |
| 17:13 | <bakkot> | I usually just push straight to main unless it's past the agenda deadline |
| 17:13 | <bakkot> | Don't know if this is bad practice |
| 17:13 | <Chris de Almeida> | please always create a PR, even if you merge it immediately |
| 17:14 | <Devin Rousso> | do i need to wait for a review of the PR? |
| 17:14 | <Devin Rousso> | or is it OK for me to just merge it once the checks pass? |
| 17:15 | <Chris de Almeida> | I would say wait for review unless you have done it many times. I notice an issue with your PR actually. will comment |
| 17:19 | <eemeli> | I don't think I've access to create branches on the tc38/agendas repo directly. The conversation above implies that as a delegate I ought to have access? |
| 17:21 | <Chris de Almeida> | you do |
| 17:23 | <eemeli> | Huh, so I do. That seems to have changed at some point. Ah, well. |
| 18:20 | <dminor> | The two TypedArray proposals are currently at Stage 0, not Stage 1 as listed on the agenda, right? Also 15 minutes / proposal might not be quite enough to allow for discussion given the length of the presentation. It might be fine, but I think there's a risk of running out of time. |
| 18:27 | <Chris de Almeida> | good catch |
| 18:49 | <Chris de Almeida> | 📢 Reminder: The agenda deadline for stage advancement eligibility is November 8th 10:00 Asia/Tokyo which is nine days away. |