Stream: t-compiler/wg-learning

Topic: claim your issues


Santiago Pastorino (Jun 12 2019 at 21:45, on Zulip):

@WG-learning we've just added triagebot to rustc-guide, claim the issues you're assigned to

Santiago Pastorino (Jun 12 2019 at 21:45, on Zulip):

example https://github.com/rust-lang/rustc-guide/issues/338

Amanjeev Sethi (Jun 12 2019 at 22:24, on Zulip):

so the assignee is still rustbot. i see.

Pietro Albini (Jun 12 2019 at 22:24, on Zulip):

it's not possible to assign you directly without adding you to the repo

Pietro Albini (Jun 12 2019 at 22:25, on Zulip):

so the best solution we can think of is assigning the bot itself and editing the top comment to mention the actual assignee

Amanjeev Sethi (Jun 12 2019 at 23:53, on Zulip):

Makes sense. Thank you!

mark-i-m (Jun 12 2019 at 23:55, on Zulip):

It seems I’ve missed all the action... thank for getting in set up!

Amanjeev Sethi (Jun 12 2019 at 23:57, on Zulip):

@mark-i-m now that you are here maybe you can approve https://github.com/rust-lang/rustc-guide/pull/316 ? :smiley:

mark-i-m (Jun 13 2019 at 15:24, on Zulip):

@Amanjeev Sethi Sorry for the delay. I've been a bit swamped lately. I will try to do the review this weekend

Amanjeev Sethi (Jun 13 2019 at 15:25, on Zulip):

@mark-i-m no worries. I understand. no need to be sorry.
we have full time jobs and family and life too right? :slight_smile:

Amanjeev Sethi (Jun 21 2019 at 02:22, on Zulip):

@mark-i-m thank you so much for merging the PR!

Amanjeev Sethi (Jun 21 2019 at 02:23, on Zulip):

What is the next step to get this published?

Amanjeev Sethi (Jun 21 2019 at 02:25, on Zulip):

I wonder if the checkbox here https://github.com/rust-lang/rustc-guide/issues/319 can be checked?

mark-i-m (Jun 21 2019 at 13:15, on Zulip):

Thanks for writing it!

mark-i-m (Jun 21 2019 at 13:15, on Zulip):

https://rust-lang.github.io/rustc-guide/debugging-support-in-rustc.html

mark-i-m (Jun 21 2019 at 13:16, on Zulip):

It is already published. The CI does that when anyone merges to master.

Amanjeev Sethi (Jun 21 2019 at 13:28, on Zulip):

yay! I will grab more but next few weeks I am moving counties and it might not be until late July or August that I can truly be back in the game. however I will pick another video meantime.

Last update: Nov 15 2019 at 20:00UTC