jenkins-bot has submitted this change and it was merged. Change subject: Fail on docutils errors inside Sphinx ......................................................................
Fail on docutils errors inside Sphinx Bug: T112488 Change-Id: I2bc0e1ced8387013ac6df274197637deb799df37 --- A docs/docutils.conf 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: John Vandenberg: Looks good to me, but someone else must approve XZise: Looks good to me, approved jenkins-bot: Verified diff --git a/docs/docutils.conf b/docs/docutils.conf new file mode 100644 index 0000000..b23cf7b --- /dev/null +++ b/docs/docutils.conf @@ -0,0 +1,3 @@ +[general] +halt_level: error +report_level: info -- To view, visit https://gerrit.wikimedia.org/r/238420 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2bc0e1ced8387013ac6df274197637deb799df37 Gerrit-PatchSet: 5 Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Owner: John Vandenberg <jay...@gmail.com> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: John Vandenberg <jay...@gmail.com> Gerrit-Reviewer: Ladsgroup <ladsgr...@gmail.com> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl> Gerrit-Reviewer: Multichill <maar...@mdammers.nl> Gerrit-Reviewer: XZise <commodorefabia...@gmx.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
