gerritbot added a comment.
Change 429662 merged by ArielGlenn:
[operations/puppet@production] Increase dispatching resources by about 10%
https://gerrit.wikimedia.org/r/429662TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/email
gerritbot added a comment.
Change 429662 restored by Hoo man:
Increase dispatching resources by about 50%
https://gerrit.wikimedia.org/r/429662TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/emailpreferences/To: hoo, gerritbotCc
gerritbot added a comment.
Change 429662 abandoned by Hoo man:
Increase dispatching resources by about 50%
Reason:
I don't think this is needed anymore
https://gerrit.wikimedia.org/r/429662TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://phabricator.wikimedia.org/setti
gerritbot added a comment.
Change 429829 merged by Giuseppe Lavagetto:
[operations/puppet@production] Enable HHVM's JIT for Wikidata dispatchers
https://gerrit.wikimedia.org/r/429829TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/pane
gerritbot added a comment.
Change 429829 had a related patch set uploaded (by Hoo man; owner: Hoo man):
[operations/puppet@production] Run enable HHVM's JIT for Wikidata dispatchers
https://gerrit.wikimedia.org/r/429829TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://ph
gerritbot added a comment.
Change 429662 had a related patch set uploaded (by Hoo man; owner: Hoo man):
[operations/puppet@production] Increase dispatching resources by about 50%
https://gerrit.wikimedia.org/r/429662TASK DETAILhttps://phabricator.wikimedia.org/T193349EMAIL PREFERENCEShttps://phabr
