Stream: git-wasmtime

Topic: wasmtime / PR #6114 Use GitHub teams as code owners


view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp opened PR #6114 from codeowners-teams to main:

The teams named in this revised version of the CODEOWNERS file are currently configured with the same members as are listed in the file now.

We wanted a single member of the selected team to be assigned as a reviewer, but listing people explicitly in CODEOWNERS causes all the named people to be assigned. Using teams instead allows us to configure the load-balancing policy.

This also will allow us to add and remove reviewers without needing a PR every time.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp requested cfallin for a review on PR #6114.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp requested elliottt for a review on PR #6114.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp requested alexcrichton for a review on PR #6114.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp requested fitzgen for a review on PR #6114.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 22:51):

jameysharp requested pchickey for a review on PR #6114.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 23:04):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 28 2023 at 23:41):

jameysharp merged PR #6114.


Last updated: Dec 23 2024 at 12:05 UTC