- Code-size exploration update and request for feedback For Tockbot (doubling down on Brad's question), I propose we assign people immediately (currently it only assigns "stale" PRs I believe). Let's vote on it.
- review count requirement for assigned PRs
I'll propose that we allow PRs from Core WG members to be merged with one additional approval _by_ the approver (which should signal strong confidence). Let's discuss why this is probably OK, why it might be useful, and if there is agreement on _something_ I'll do a PR to the relevant rules and that'll be that. Brad Campbell <bradjc@virginia.edu> writes:
To add:
- https://github.com/tock/tock/pull/3849: Add an async process loader
This just needs one more approver. I don't think there is anything to discuss, though we can use the time for someone to to approve it.
- Documentation - https://github.com/tock/tock/pull/3907 - https://github.com/tock/tock/pull/3911
These are on queue to merge---for Documentation WG, we agreed that if a member is the author (Brad in both of these cases), it only needs one approval.
-
On Fri, Mar 15, 2024 at 2:27 AM Hudson Ayers <hudayers@gmail.com> wrote:
Please reply with agenda items and +1s for tomorrow's meeting.
I propose:
- tockbot checkin: how do people feel about it so far?
I don't understand why it doesn't assign someone right after the PR is opened.
- review count requirement for assigned PRs - Rundown of recent PRs waiting on their assignee: - https://github.com/tock/tock/pull/3910 - https://github.com/tock/tock/pull/3906 _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org
_______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org