On Mon, Jul 11, 2016, at 12:29 PM, Martin Thomson wrote: > Is now the right time to start talking about retiring checkin-needed, > or is it still heavily used?
Isn't it still necessary for people who don't yet have permission to push? I also use checkin-needed for small changes which I don't think it's worth to run a full testset for, to save some infra resources. - Xidorn _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
