Stream: t-compiler/wg-meta

Topic: meeting 2019.09.26


nikomatsakis (Sep 26 2019 at 18:07, on Zulip):

Hey @T-compiler/WG-meta -- running late as usual :)

nikomatsakis (Sep 26 2019 at 18:08, on Zulip):

Check in on the LLVM ICE breaker progress?

Santiago Pastorino (Sep 26 2019 at 18:08, on Zulip):

:+1:

Santiago Pastorino (Sep 26 2019 at 18:09, on Zulip):

on my side as you're already aware I was talking with Pietro and Mark about having triagebot being able to notify members of the ICE breakers

Santiago Pastorino (Sep 26 2019 at 18:10, on Zulip):

I had two things assigned that if I'm correct both things are solved by having the ice breaker members added to team repo and the ability of pinging them using the bot

Santiago Pastorino (Sep 26 2019 at 18:10, on Zulip):

but need to check just in case

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

ok -- @Pietro Albini mentioned not having time for that this week or so

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

which seems fine :)

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

I wrote up an announcement

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

well, I wrote up the llvm guide stuff

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

we could just move forward without triagebot

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

after all, it's just "manual labor" that we can do ourselves for now

Santiago Pastorino (Sep 26 2019 at 18:11, on Zulip):

if it's really urgent I guess I could try to figure it out

nikomatsakis (Sep 26 2019 at 18:11, on Zulip):

it seems likely that the list of folks to cc will not grow excessively long

Santiago Pastorino (Sep 26 2019 at 18:12, on Zulip):

I guess it's going to be way easier for Pietro but at least I can be the backup plan :)

nikomatsakis (Sep 26 2019 at 18:12, on Zulip):

yeah, I don't think it's necessary

nikomatsakis (Sep 26 2019 at 18:12, on Zulip):

well hmm

nikomatsakis (Sep 26 2019 at 18:12, on Zulip):

ok so we can have a "temporary signup plan" that is basically "e-mail niko"

Santiago Pastorino (Sep 26 2019 at 18:12, on Zulip):

hehehe

nikomatsakis (Sep 26 2019 at 18:12, on Zulip):

or something like that :)

Santiago Pastorino (Sep 26 2019 at 18:13, on Zulip):

but I don't think signing up is the problem

Santiago Pastorino (Sep 26 2019 at 18:13, on Zulip):

to sign up people just add themselves to team

nikomatsakis (Sep 26 2019 at 18:13, on Zulip):

I guess the sign-up plan could be just to edit some file in the team repo that is presently ignored

nikomatsakis (Sep 26 2019 at 18:13, on Zulip):

ah well .. I think part of the problem was that we don't have the right category for this thing ?

nikomatsakis (Sep 26 2019 at 18:13, on Zulip):

unless we want to call it a "working group"

Santiago Pastorino (Sep 26 2019 at 18:13, on Zulip):

yeah now is unclear to me if we wanted to add ... exactly what you just said :)

nikomatsakis (Sep 26 2019 at 18:13, on Zulip):

which wouldn't be the worst thing

nikomatsakis (Sep 26 2019 at 18:13, on Zulip):

but I feel like isn't the best thing

nikomatsakis (Sep 26 2019 at 18:14, on Zulip):

we already use the term "working group" for too many things somehow...

Santiago Pastorino (Sep 26 2019 at 18:14, on Zulip):

I think a better temporary plan is to use working group terminology and then switch to something better when that better thing comes up

Santiago Pastorino (Sep 26 2019 at 18:15, on Zulip):

but we will still be lacking the way of pinging people

Santiago Pastorino (Sep 26 2019 at 18:15, on Zulip):

we can manually pretend to be the bot by just going to team repo and copying the github handles and adding comments on issues with that but aghh :P

davidtwco (Sep 26 2019 at 18:16, on Zulip):

Sorry, I’m a little late, here now.

nikomatsakis (Sep 26 2019 at 18:17, on Zulip):

Oh, also I'm trying to setup a team blog and I want people's opinions on what to name it and whether to have separate per-team blogs: see this comment

Santiago Pastorino (Sep 26 2019 at 18:17, on Zulip):

hi David :)

Santiago Pastorino (Sep 26 2019 at 18:18, on Zulip):

already voted :)

Santiago Pastorino (Sep 26 2019 at 18:18, on Zulip):

but I really think it depends

nikomatsakis (Sep 26 2019 at 18:18, on Zulip):

we can manually pretend to be the bot by just going to team repo and copying the github handles and adding comments on issues with that but aghh :P

this is what I had in mind :)

nikomatsakis (Sep 26 2019 at 18:19, on Zulip):

I think a better temporary plan is to use working group terminology and then switch to something better when that better thing comes up

mm I don't know

nikomatsakis (Sep 26 2019 at 18:19, on Zulip):

I mean we could make the a directory like icebreakers/llvm.toml

nikomatsakis (Sep 26 2019 at 18:19, on Zulip):

that the code just completely ignores

nikomatsakis (Sep 26 2019 at 18:19, on Zulip):

and people can add their names to the file

Santiago Pastorino (Sep 26 2019 at 18:19, on Zulip):

yeah, that makes sense too

nikomatsakis (Sep 26 2019 at 18:20, on Zulip):

I guess a legit question is whether it makes sense to have each icebreakers be associated with a "working group". It doesn't fit the "working group has an achievable goal" idea

nikomatsakis (Sep 26 2019 at 18:20, on Zulip):

but then kind of many of them don't

nikomatsakis (Sep 26 2019 at 18:20, on Zulip):

(Separately, I actually want to stop using the term wg for what most of the compiler wgs)

nikomatsakis (Sep 26 2019 at 18:21, on Zulip):

because I think it's confusing, what with things like the Embedded WG

Santiago Pastorino (Sep 26 2019 at 18:21, on Zulip):

the other possibility is to have all the teams inside teams directory and add a flag to them to differenciate

nikomatsakis (Sep 26 2019 at 18:21, on Zulip):

well my plan with icebreakers was not to require modifying the code in any way :)

nikomatsakis (Sep 26 2019 at 18:22, on Zulip):

but yes

nikomatsakis (Sep 26 2019 at 18:23, on Zulip):

actually wait

Santiago Pastorino (Sep 26 2019 at 18:23, on Zulip):

yeah, still sounds reasonable to have attributes on teams to differenciate which ones go to the website, what kind of access do they have and to what repos, etc, etc

nikomatsakis (Sep 26 2019 at 18:23, on Zulip):

ok i'm being dumb

nikomatsakis (Sep 26 2019 at 18:23, on Zulip):

I thnk we can just make a team file with no settings

nikomatsakis (Sep 26 2019 at 18:23, on Zulip):

that is just a list of folks

nikomatsakis (Sep 26 2019 at 18:23, on Zulip):

like this one
https://github.com/rust-lang/team/blob/master/teams/lang-shepherds.toml

Santiago Pastorino (Sep 26 2019 at 18:24, on Zulip):

so what I'm saying already exist :), more or less I was guessing that too :)

nikomatsakis (Sep 26 2019 at 18:24, on Zulip):

it won't show up on website then (seems good), won't get synced to github (seems good), etc

Santiago Pastorino (Sep 26 2019 at 18:24, on Zulip):

I'm pretty sure that Pietro is having fun reading our conversation now :P

nikomatsakis (Sep 26 2019 at 18:25, on Zulip):

those folks probably will show up in all@rust-lang.org

nikomatsakis (Sep 26 2019 at 18:25, on Zulip):

I suppose we could also submit a PR to the team code which no doubt isn't that complicated :P

davidtwco (Sep 26 2019 at 18:26, on Zulip):

On the topic of permissions, a quick aside, could compiler contributors be granted more GitHub permissions? It might just be a misconfiguration for myself or it’s expected, but it would be nice to be able to assign myself issues without the bot or hide comments from bots as resolved.

Santiago Pastorino (Sep 26 2019 at 18:26, on Zulip):

I suppose we could also submit a PR to the team code which no doubt isn't that complicated :P

yeah :+1:

Santiago Pastorino (Sep 26 2019 at 18:27, on Zulip):

On the topic of permissions, a quick aside, could compiler contributors be granted more GitHub permissions? It might just be a misconfiguration for myself or it’s expected, but it would be nice to be able to assign myself issues without the bot or hide comments from bots as resolved.

I don't have any right neither

nikomatsakis (Sep 26 2019 at 18:27, on Zulip):

On the topic of permissions, a quick aside, could compiler contributors be granted more GitHub permissions? It might just be a misconfiguration for myself or it’s expected, but it would be nice to be able to assign myself issues without the bot or hide comments from bots as resolved.

seems good to me -- I'm not sure what controls that, maybe @Pietro Albini knows?

nikomatsakis (Sep 26 2019 at 18:27, on Zulip):

but I figure if you have r+...

nikomatsakis (Sep 26 2019 at 18:27, on Zulip):

I was wondering separately whether compiler-contriboturs shouldl be able to publish new crates to crates.io

nikomatsakis (Sep 26 2019 at 18:27, on Zulip):

seems like "yes"

Santiago Pastorino (Sep 26 2019 at 18:28, on Zulip):

I can't even assign labels to issues :'(, hehe

nikomatsakis (Sep 26 2019 at 18:28, on Zulip):

open a bug on compiler-team repo?

nikomatsakis (Sep 26 2019 at 18:28, on Zulip):

also, I gotta run shortly but let's review what we decided

nikomatsakis (Sep 26 2019 at 18:29, on Zulip):
nikomatsakis (Sep 26 2019 at 18:29, on Zulip):
nikomatsakis (Sep 26 2019 at 18:29, on Zulip):
nikomatsakis (Sep 26 2019 at 18:29, on Zulip):

I am inclined to think they .. should not be.

nikomatsakis (Sep 26 2019 at 18:30, on Zulip):

Because I'm thinking of this as a pretty minimal commitment.

nikomatsakis (Sep 26 2019 at 18:30, on Zulip):

And I don't want to spam people.

Santiago Pastorino (Sep 26 2019 at 18:30, on Zulip):

I can deal with the icebreakers toml file thing

Santiago Pastorino (Sep 26 2019 at 18:31, on Zulip):

the question is ... who should I add there?

nikomatsakis (Sep 26 2019 at 18:31, on Zulip):

put @nagisa and @Nikita Popov to start :)

Santiago Pastorino (Sep 26 2019 at 18:31, on Zulip):

or I can just open a PR with that file empty to start ... exactly :)

nikomatsakis (Sep 26 2019 at 18:31, on Zulip):

we'll start bothering people to add themselves after that (e.g., I intended to hassle @rkruppe =)

nikomatsakis (Sep 26 2019 at 18:32, on Zulip):

ok, I'll update compiler-team#174 a bit to track this

nikomatsakis (Sep 26 2019 at 18:32, on Zulip):

once you have that file, I can update the rustc-guide PR with instructions on how to join (make a PR against this file, here is an example, etc)

nikomatsakis (Sep 26 2019 at 18:32, on Zulip):

and we can land that, at which point we basically need an announcement we can send around

nikomatsakis (Sep 26 2019 at 18:32, on Zulip):

which I think I can crib from the rustc-guide PR

nikomatsakis (Sep 26 2019 at 18:33, on Zulip):

by then we'll hopefully have the "Inside Rust" blog thing going, too

Santiago Pastorino (Sep 26 2019 at 18:34, on Zulip):

cool

Santiago Pastorino (Sep 26 2019 at 18:34, on Zulip):

by then we'll hopefully have the "Inside Rust" blog thing going, too

about this, I've said that I voted but I think it depends on how much teams want to write

Santiago Pastorino (Sep 26 2019 at 18:35, on Zulip):

I'm not imagining a lot of traffic for now, that's why I went with "Inside Rust", but if there's a lot of stuff going on maybe it worth having things separately

nikomatsakis (Sep 26 2019 at 18:35, on Zulip):

indeed. you're going to have to take your best guess as to how much traffic there will be :)

nikomatsakis (Sep 26 2019 at 18:35, on Zulip):

is somebody opening this?

Santiago Pastorino (Sep 26 2019 at 18:35, on Zulip):

in that sense I'd start small and see what happens, you can always change in the future

nikomatsakis (Sep 26 2019 at 18:36, on Zulip):

I currently think we should start with Inside Rust, add team: metadata, and we can split out later.

Santiago Pastorino (Sep 26 2019 at 18:37, on Zulip):
  • we will open a bug on permissions for compiler-contributors, and to make the default setup be to give them perm to publish to crates.io (right?)

is somebody opening this?

@davidtwco given that you raised the concern and you may have more info than I do, do you want to do it? if you can't don't worry, I will and cc you

davidtwco (Sep 26 2019 at 18:37, on Zulip):

I can.

Santiago Pastorino (Sep 26 2019 at 18:37, on Zulip):

cool then

Santiago Pastorino (Sep 26 2019 at 18:37, on Zulip):

we have tasks defined and all assigned

Santiago Pastorino (Sep 26 2019 at 18:37, on Zulip):

well :wave: guys!

Pietro Albini (Sep 26 2019 at 19:29, on Zulip):

y'all write a lot :)

Pietro Albini (Sep 26 2019 at 19:30, on Zulip):

those folks probably will show up in all@rust-lang.org

yep

Pietro Albini (Sep 26 2019 at 19:30, on Zulip):

I suppose we could also submit a PR to the team code which no doubt isn't that complicated :P

that was my idea as well

Pietro Albini (Sep 26 2019 at 19:31, on Zulip):

On the topic of permissions, a quick aside, could compiler contributors be granted more GitHub permissions? It might just be a misconfiguration for myself or it’s expected, but it would be nice to be able to assign myself issues without the bot or hide comments from bots as resolved.

uh, we probably just forgot to give perms, fixed

Pietro Albini (Sep 26 2019 at 19:32, on Zulip):

but I figure if you have r+...

r+ perms are actually separate than write access on the repo, and nobody remembered to give write access to the compiler-contributors team

Pietro Albini (Sep 26 2019 at 19:34, on Zulip):

@Santiago Pastorino @nikomatsakis @davidtwco ^

Santiago Pastorino (Sep 26 2019 at 19:35, on Zulip):

hey Pietro, just, exactly right now I've opened https://github.com/rust-lang/team/pull/123

davidtwco (Sep 26 2019 at 19:35, on Zulip):

Thanks, as soon as I got the "you've been subscribed to rust-lang/rust" email, I rushed to undo it before the flood came.

Pietro Albini (Sep 26 2019 at 19:35, on Zulip):

yeah saw the ping

Pietro Albini (Sep 26 2019 at 19:35, on Zulip):

Thanks, as soon as I got the "you've been subscribed to rust-lang/rust" email, I rushed to undo it before the flood came.

:joy:

Pietro Albini (Sep 26 2019 at 19:36, on Zulip):

that's pretty annoying

Pietro Albini (Sep 26 2019 at 19:44, on Zulip):

good luck @Santiago Pastorino :stuck_out_tongue:

Santiago Pastorino (Sep 26 2019 at 19:46, on Zulip):

:joy:

Pietro Albini (Sep 26 2019 at 19:49, on Zulip):

that exaustive enum was a mistake :/

Santiago Pastorino (Sep 26 2019 at 20:09, on Zulip):

yeah, what needs to be done seems more or less simple to do, can't take that task now though

Santiago Pastorino (Sep 26 2019 at 20:09, on Zulip):

if somebody else is able ... better, otherwise I may be able in some days :)

Pietro Albini (Sep 26 2019 at 20:10, on Zulip):

I might be able to handle that once infra stops sucking up all my time

Pietro Albini (Sep 26 2019 at 20:11, on Zulip):

...so I guess never?

Santiago Pastorino (Sep 26 2019 at 20:31, on Zulip):

hehehe :P

Santiago Pastorino (Sep 26 2019 at 20:32, on Zulip):

thanks for your support @Pietro Albini, let's leave it there and see next week

Pietro Albini (Sep 26 2019 at 20:32, on Zulip):

:wave:

Last update: Nov 11 2019 at 23:20UTC