Closed SethTisue closed 6 years ago
this is obviated by https://help.github.com/articles/about-pull-request-reviews/ IMO
even if we don't actually remove the feature, we can just stop using it :-)
from the discussion at https://github.com/scala/scala/pull/5694, Adriaan apparently agrees
this is obviated by https://help.github.com/articles/about-pull-request-reviews/ IMO