Stream: project-ffi-unwind

Topic: team repo


nikomatsakis (Dec 09 2019 at 22:01, on Zulip):

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.

nikomatsakis (Dec 09 2019 at 22:01, on Zulip):

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

nikomatsakis (Dec 09 2019 at 22:01, on Zulip):

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

Kyle Strand (Dec 09 2019 at 22:04, on Zulip):

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

Kyle Strand (Dec 09 2019 at 22:05, on Zulip):

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

nikomatsakis (Dec 09 2019 at 22:05, on Zulip):

It is not permitted

nikomatsakis (Dec 09 2019 at 22:06, on Zulip):

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

nikomatsakis (Dec 09 2019 at 22:06, on Zulip):

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

nikomatsakis (Dec 09 2019 at 22:06, on Zulip):

and the name of a wg must start with wg-

Kyle Strand (Dec 09 2019 at 22:07, on Zulip):

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

nikomatsakis (Dec 09 2019 at 22:09, on Zulip):

the code does a lot of validation :)

Last update: May 27 2020 at 23:10UTC