Stream: project-ffi-unwind

Topic: team repo


view this post on Zulip nikomatsakis (Dec 09 2019 at 22:01):

I realized that we never created an entry on the team repo for this group, did we?

I just created a PR to do so.

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:01):

@Kyle Strand :point_up: I guess you would remember if we ever did

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:01):

We should do so also because we want to tie all of our repo access rights to github teams going forward so we need one

view this post on Zulip BatmanAoD (Kyle Strand) (Dec 09 2019 at 22:04):

I don't believe we did. Thanks for the PR.

view this post on Zulip BatmanAoD (Kyle Strand) (Dec 09 2019 at 22:05):

Should the team name be project-ffi-unwind rather than wg-...?

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:05):

It is not permitted

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:06):

I am talking to @XAMPPRocky about creating a RFC that introduces project groups specifically; I think it'd be good to extend the team repo with that concept, it'd be nice to be able to do shepherds = [...] for example

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:06):

Until then, I'm just modeling this as a wg

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:06):

and the name of a wg must start with wg-

view this post on Zulip BatmanAoD (Kyle Strand) (Dec 09 2019 at 22:07):

Okay, I didn't realize there were rules :sweat_smile:

view this post on Zulip nikomatsakis (Dec 09 2019 at 22:09):

the code does a lot of validation :)


Last updated: Jan 26 2022 at 08:21 UTC