wikimedia/operations-mediawiki-config — pull request #8 by Steinsplitter (2014-03-25 11:37:08+00:00)
Title: adding/removing gwtoolset only by crats

per consensus: https://commons.wikimedia.org/wiki/Commons:Bureaucrats%27_noticeboard#GW_Toolset_right