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: Nov 22 2024 at 16:03 UTC