- Process Checking Infrastructure PRs - https://github.com/tock/tock/pull/3772 - https://github.com/tock/tock/pull/3818 - Remove a nightly feature - https://github.com/tock/tock/pull/3803 - Finalize Legal TRD - https://github.com/tock/tock/pull/3821 On Fri, Feb 2, 2024 at 11:07 AM Amit Levy <amit@amitlevy.com> wrote:
Please reply with agenda items and +1s for today's meeting.
Hudson is away today, so I'll be leading, hence the later than usual request for agenda items. Luckily I think there are plenty. I suggest at least:
- Brad's suggestion for a new documentation working group (there is already approval for this, but we can maybe discuss whether/how to support this kind of process more generally. could be very brief) _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org