[04:37:44] <wikibugs>	 (PS5) Yaron Koren: i18n-ify the error message for $wgPageFormsAutoeditNamespaces [extensions/PageForms] - https://gerrit.wikimedia.org/r/540730 (owner: markahershberger)
[16:49:54] <wikibugs>	 (PS6) Yaron Koren: i18n-ify the error message for $wgPageFormsAutoeditNamespaces [extensions/PageForms] - https://gerrit.wikimedia.org/r/540730 (owner: markahershberger)
[16:50:37] <wikibugs>	 (CR) Yaron Koren: "I simplified the error message (which I never really liked before - someone else wrote it)." [extensions/PageForms] - https://gerrit.wikimedia.org/r/540730 (owner: markahershberger)
[17:57:25] <wikibugs>	 (CR) Yaron Koren: [C: +2] i18n-ify the error message for $wgPageFormsAutoeditNamespaces [extensions/PageForms] - https://gerrit.wikimedia.org/r/540730 (owner: markahershberger)
[18:26:08] <wikibugs>	 (Merged) jenkins-bot: i18n-ify the error message for $wgPageFormsAutoeditNamespaces [extensions/PageForms] - https://gerrit.wikimedia.org/r/540730 (owner: markahershberger)
[18:54:05] <wikibugs>	 (PS1) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348
[18:58:19] <wikibugs>	 (PS2) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348
[19:00:30] <wikibugs>	 (CR) jerkins-bot: [V: -1] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (owner: Yaron Koren)
[19:11:52] <wikibugs>	 (PS3) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397)
[19:13:40] <wikibugs>	 (CR) jerkins-bot: [V: -1] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)
[21:01:53] <wikibugs>	 (PS4) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397)
[21:03:33] <wikibugs>	 (CR) jerkins-bot: [V: -1] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)
[21:24:14] <wikibugs>	 (PS5) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397)
[21:26:18] <wikibugs>	 (CR) jerkins-bot: [V: -1] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)
[21:34:58] <wikibugs>	 (PS6) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397)
[21:36:41] <wikibugs>	 (CR) jerkins-bot: [V: -1] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)
[21:44:11] <wikibugs>	 (PS7) Yaron Koren: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397)
[21:47:42] <wikibugs>	 (CR) Yaron Koren: [C: +2] Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)
[21:52:15] <wikibugs>	 (Merged) jenkins-bot: Remove "None" option for mandatory radiobuttons [extensions/PageForms] - https://gerrit.wikimedia.org/r/554348 (https://phabricator.wikimedia.org/T238397) (owner: Yaron Koren)