Stream: general

Topic: GH privileges


varkor (Nov 03 2018 at 14:10, on Zulip):

I no longer seem to be able to modify the labels on issues, or close issues, etc.

varkor (Nov 03 2018 at 14:10, on Zulip):

is anyone else having these problems?

nagisa (Nov 03 2018 at 14:11, on Zulip):

still able to modify stuff in rust-lang/rust

nagisa (Nov 03 2018 at 14:11, on Zulip):

are you sure you’re looking at the right repo?

scalexm (Nov 03 2018 at 14:13, on Zulip):

@varkor yep same problem

davidtwco (Nov 03 2018 at 14:14, on Zulip):

I seem to be able to.

nikomatsakis (Nov 07 2018 at 09:31, on Zulip):

@varkor it's my fault, I will fix

nikomatsakis (Nov 07 2018 at 09:31, on Zulip):

same @scalexm

nikomatsakis (Nov 07 2018 at 09:31, on Zulip):

maybe i'll just restore the old setup

nikomatsakis (Nov 07 2018 at 09:33, on Zulip):

er, wait, @varkor -- I'm not sure what's up with you :) where did you lose permissions to?

nikomatsakis (Nov 07 2018 at 09:33, on Zulip):

rust-lang/rust?

nikomatsakis (Nov 07 2018 at 09:35, on Zulip):

er, ok, should be fixed now

nikomatsakis (Nov 07 2018 at 09:36, on Zulip):

I still want to rationalize our GH team setup but it'll wait for another day, sorry for the inconvenience

varkor (Nov 07 2018 at 09:38, on Zulip):

yep, thanks — that's fixed now!

varkor (Nov 07 2018 at 09:38, on Zulip):

did you remove permissions for the #wg-traits team or something, and GH didn't take into account any other teams when updating the permissions...?

oli (Nov 07 2018 at 10:59, on Zulip):

Ah this explains why I suddenly got subscribed to the rust repo

nagisa (Nov 07 2018 at 11:27, on Zulip):

Ohh, this explains what opened a flood gate between rust-lang/rust and my mailbox...

pnkfelix (Nov 07 2018 at 11:31, on Zulip):

now you will all learn our pain

RalfJ (Nov 07 2018 at 11:34, on Zulip):

no, now we disable notifications for the repo :P

pnkfelix (Nov 07 2018 at 11:35, on Zulip):

Ah, the pain of silence and isolation

RalfJ (Nov 07 2018 at 11:36, on Zulip):

The joy of solitude you mean :D

oli (Nov 07 2018 at 12:21, on Zulip):

yea :D I immediately turned them off again. Pings for teams or users suffice I think

Vadim Petrochenkov (Nov 07 2018 at 17:15, on Zulip):

Ha, I still have notifications from rust-lang/rust enabled.
This way you catch all the interesting stuff.
Most of notifications are not interesting, but this is usually obvious from the title, so you don't even have to read them.
This way I can also freely ignore pings from non-interesting issues because they are lost in the noise :)

Last update: Nov 20 2019 at 11:50UTC