Stream: t-compiler/wg-meta

Topic: meeting 2020.02.06


Santiago Pastorino (Feb 06 2020 at 19:01, on Zulip):

@T-compiler/WG-meta meeting time

Santiago Pastorino (Feb 06 2020 at 19:01, on Zulip):

@nikomatsakis you around?

davidtwco (Feb 06 2020 at 19:02, on Zulip):

:wave:

Santiago Pastorino (Feb 06 2020 at 19:03, on Zulip):

hi @davidtwco

Santiago Pastorino (Feb 06 2020 at 19:04, on Zulip):

one of the things we were going after is compiler-team#207

Santiago Pastorino (Feb 06 2020 at 19:04, on Zulip):

and I think the last bit to complete that is to publish the blog post https://github.com/rust-lang/blog.rust-lang.org/pull/504

Santiago Pastorino (Feb 06 2020 at 19:04, on Zulip):

I've addressed some comments

Santiago Pastorino (Feb 06 2020 at 19:04, on Zulip):

I have some comments about the blog post

Santiago Pastorino (Feb 06 2020 at 19:05, on Zulip):
  1. https://github.com/rust-lang/blog.rust-lang.org/pull/504#discussion_r371446033
Santiago Pastorino (Feb 06 2020 at 19:05, on Zulip):
  1. I guess we should agree when we are publishing it and I should update the date of the post
Santiago Pastorino (Feb 06 2020 at 19:05, on Zulip):

in general how do people proceed with the blog post date?

Santiago Pastorino (Feb 06 2020 at 19:06, on Zulip):

I mean, I guess it's not great to merge today a PR with date of january 27th

Santiago Pastorino (Feb 06 2020 at 19:06, on Zulip):

but I wonder how are we dealing with this issue

davidtwco (Feb 06 2020 at 19:07, on Zulip):

I can’t remember what we did with the blog post I wrote.

davidtwco (Feb 06 2020 at 19:07, on Zulip):

It wasn’t as long a gap.

Santiago Pastorino (Feb 06 2020 at 19:07, on Zulip):

would be great to have something that automatically updates the date when is merged

Santiago Pastorino (Feb 06 2020 at 19:07, on Zulip):

:)

nikomatsakis (Feb 06 2020 at 19:12, on Zulip):

egads, sorry @Santiago Pastorino and others

nikomatsakis (Feb 06 2020 at 19:12, on Zulip):

I was doing a meeting with @pnkfelix and it ran over

pnkfelix (Feb 06 2020 at 19:12, on Zulip):

@nikomatsakis am I right in interpreting your feedback on the blog post PR that you are fine with it, modulo an update to the date?

nikomatsakis (Feb 06 2020 at 19:12, on Zulip):

let me read backscroll

nikomatsakis (Feb 06 2020 at 19:12, on Zulip):

yes, I was fine with the blog post

Santiago Pastorino (Feb 06 2020 at 19:13, on Zulip):

egads, sorry Santiago Pastorino and others

no worries

Santiago Pastorino (Feb 06 2020 at 19:13, on Zulip):

hi @pnkfelix :)

nikomatsakis (Feb 06 2020 at 19:13, on Zulip):

it seems like we're basically ready to pull the trigger here, yeah?

pnkfelix (Feb 06 2020 at 19:13, on Zulip):

(bonjour!)

pnkfelix (Feb 06 2020 at 19:13, on Zulip):

(I have a vested interest in the launch of the Cleanup Crew)

Santiago Pastorino (Feb 06 2020 at 19:14, on Zulip):

I was saying modulo date and modulo ...

Santiago Pastorino (Feb 06 2020 at 19:14, on Zulip):

I've just followed the same idea of the LLVM ICE Breaker announcement but maybe isn't it better to just point to the PR?

Santiago Pastorino (Feb 06 2020 at 19:14, on Zulip):

unsure if you saw that comment

Santiago Pastorino (Feb 06 2020 at 19:15, on Zulip):

well actually I'm wrong

Santiago Pastorino (Feb 06 2020 at 19:15, on Zulip):

now that we've changed the text around that link, I think it's ok as is

nikomatsakis (Feb 06 2020 at 19:15, on Zulip):

I saw that comment but

Santiago Pastorino (Feb 06 2020 at 19:15, on Zulip):

if you want I can update the date

nikomatsakis (Feb 06 2020 at 19:15, on Zulip):

yes, I made an alternative suggestion I liked better :)

Santiago Pastorino (Feb 06 2020 at 19:15, on Zulip):

yes

Santiago Pastorino (Feb 06 2020 at 19:15, on Zulip):

agreed

nikomatsakis (Feb 06 2020 at 19:16, on Zulip):

let's do it!

Santiago Pastorino (Feb 06 2020 at 19:17, on Zulip):

done

nikomatsakis (Feb 06 2020 at 19:17, on Zulip):

shall I merge that?

pnkfelix (Feb 06 2020 at 19:17, on Zulip):

okay so now I get to test it out?

pnkfelix (Feb 06 2020 at 19:17, on Zulip):

(on #68813)

nikomatsakis (Feb 06 2020 at 19:17, on Zulip):

sure, want to test it out first?

nikomatsakis (Feb 06 2020 at 19:17, on Zulip):

(also, do we have good instructions in rustc-guide for what to do to tag an issue as cleanup-crew?)

nikomatsakis (Feb 06 2020 at 19:18, on Zulip):

I forget how you do it

nikomatsakis (Feb 06 2020 at 19:18, on Zulip):

some command :)

pnkfelix (Feb 06 2020 at 19:18, on Zulip):

/me looking for that docs

pnkfelix (Feb 06 2020 at 19:18, on Zulip):

the fact that we cannot find them is a bad sign. :)

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):

the docs are here

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):
@rustbot ping icebreakers-cleanup-crew
pnkfelix (Feb 06 2020 at 19:19, on Zulip):

okay

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):

let me double check that command

pnkfelix (Feb 06 2020 at 19:19, on Zulip):

I think I will add some more links to that

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):

er, that name

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):

yes, good

nikomatsakis (Feb 06 2020 at 19:19, on Zulip):

but yes that should be right

nikomatsakis (Feb 06 2020 at 19:20, on Zulip):

the name comes from the triagebot configuration

pnkfelix (Feb 06 2020 at 19:23, on Zulip):

okay done

Santiago Pastorino (Feb 06 2020 at 19:26, on Zulip):

sorry got an important call

Santiago Pastorino (Feb 06 2020 at 19:26, on Zulip):

checking what you've said

Santiago Pastorino (Feb 06 2020 at 19:26, on Zulip):

https://github.com/rust-lang/rust/issues/68813#issuecomment-583067665

nikomatsakis (Feb 06 2020 at 19:26, on Zulip):

looks like it worked!

nikomatsakis (Feb 06 2020 at 19:26, on Zulip):

let's merge the post :)

Santiago Pastorino (Feb 06 2020 at 19:26, on Zulip):

:slight_smile:

Santiago Pastorino (Feb 06 2020 at 19:27, on Zulip):

I was pinged, I feel very lonely in this new crew :P

nikomatsakis (Feb 06 2020 at 19:30, on Zulip):

heh

nikomatsakis (Feb 06 2020 at 19:30, on Zulip):

yeah, we'll have to re-ping later perhaps :)

Santiago Pastorino (Feb 06 2020 at 19:30, on Zulip):

no worries

Santiago Pastorino (Feb 06 2020 at 19:31, on Zulip):

keep pinging as much as you need :)

nikomatsakis (Feb 06 2020 at 19:32, on Zulip):

https://twitter.com/nikomatsakis/status/1225502519494877184

nikomatsakis (Feb 06 2020 at 19:33, on Zulip):

@Santiago Pastorino maybe cleanup the markdown on the post?

nikomatsakis (Feb 06 2020 at 19:33, on Zulip):

looks like the indented list isn't rendering right

Santiago Pastorino (Feb 06 2020 at 19:35, on Zulip):

let me check ...

Santiago Pastorino (Feb 06 2020 at 19:37, on Zulip):

hmm I think I've seen this issue locally, thought I had fixed it

Santiago Pastorino (Feb 06 2020 at 19:42, on Zulip):

pasted image

Santiago Pastorino (Feb 06 2020 at 19:42, on Zulip):

@nikomatsakis is this better?

Santiago Pastorino (Feb 06 2020 at 19:42, on Zulip):

should I push directly to master?

Santiago Pastorino (Feb 06 2020 at 19:46, on Zulip):

well I don't think I can push to master

Santiago Pastorino (Feb 06 2020 at 19:46, on Zulip):

let me open a PR

Santiago Pastorino (Feb 06 2020 at 19:46, on Zulip):

https://github.com/rust-lang/blog.rust-lang.org/pull/511

simulacrum (Feb 06 2020 at 20:08, on Zulip):

Merged it -- before CI passes

DPC (Feb 06 2020 at 22:32, on Zulip):

Ah didn't know the meeting happens at this time. Will be there from next week

Santiago Pastorino (Feb 07 2020 at 13:26, on Zulip):

@DPC I guess another thing we want to talk in next meeting is coordination with triage wg, cc @nikomatsakis

DPC (Feb 07 2020 at 13:47, on Zulip):

Can I get added to the wg-meta so I get pinged in future?

davidtwco (Feb 07 2020 at 13:58, on Zulip):

Done

DPC (Feb 07 2020 at 14:23, on Zulip):

Thanks :smiley:

Last update: Feb 25 2020 at 04:25UTC