@T-compiler/WG-meta meeting time
@nikomatsakis you around?
one of the things we were going after is compiler-team#207
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
I've addressed some comments
I have some comments about the blog post
in general how do people proceed with the blog post date?
I mean, I guess it's not great to merge today a PR with date of january 27th
but I wonder how are we dealing with this issue
I can’t remember what we did with the blog post I wrote.
It wasn’t as long a gap.
would be great to have something that automatically updates the date when is merged
egads, sorry @Santiago Pastorino and others
I was doing a meeting with @pnkfelix and it ran over
@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?
let me read backscroll
yes, I was fine with the blog post
egads, sorry Santiago Pastorino and others
hi @pnkfelix :)
it seems like we're basically ready to pull the trigger here, yeah?
(I have a vested interest in the launch of the Cleanup Crew)
I was saying modulo date and modulo ...
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?
unsure if you saw that comment
well actually I'm wrong
now that we've changed the text around that link, I think it's ok as is
I saw that comment but
if you want I can update the date
yes, I made an alternative suggestion I liked better :)
let's do it!
shall I merge that?
okay so now I get to test it out?
sure, want to test it out first?
(also, do we have good instructions in rustc-guide for what to do to tag an issue as cleanup-crew?)
I forget how you do it
some command :)
/me looking for that docs
the fact that we cannot find them is a bad sign. :)
@rustbot ping icebreakers-cleanup-crew
let me double check that command
I think I will add some more links to that
er, that name
but yes that should be right
the name comes from the triagebot configuration
sorry got an important call
checking what you've said
looks like it worked!
let's merge the post :)
I was pinged, I feel very lonely in this new crew :P
yeah, we'll have to re-ping later perhaps :)
keep pinging as much as you need :)
Announcing the #rustlang "cleanup crew" -- sign up to get notified of bug reports that need to be reduced to minimal examples or bisected. A great way to help out with rustc compiler development on a limited time budget. https://blog.rust-lang.org/inside-rust/2020/02/06/Cleanup-Crew-ICE-breakers.html- Niko Matsakis (@nikomatsakis)
@Santiago Pastorino maybe cleanup the markdown on the post?
looks like the indented list isn't rendering right
let me check ...
hmm I think I've seen this issue locally, thought I had fixed it
@nikomatsakis is this better?
should I push directly to master?
well I don't think I can push to master
let me open a PR
Merged it -- before CI passes
Ah didn't know the meeting happens at this time. Will be there from next week
@DPC I guess another thing we want to talk in next meeting is coordination with triage wg, cc @nikomatsakis
Can I get added to the wg-meta so I get pinged in future?