jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/385800 )
Change subject: [doc] Fix options documentation
..
[doc] Fix options documentation
Change-Id:
Build Update for wikimedia/pywikibot-core
-
Build: #4359
Status: Failed
Duration: 2 hours, 12 minutes, and 33 seconds
Commit: f562984 (master)
Author: jenkins-bot
Message: Merge "Partly revert "Merge "[IMPR] Improvements for reflinks.py"""
View the changeset:
Build Update for wikimedia/pywikibot-core
-
Build: #4358
Status: Errored
Duration: 4 hours, 33 minutes, and 0 seconds
Commit: 9c584eb (master)
Author: jenkins-bot
Message: Merge "[IMPR] Introduce suppress_warnings context manager"
View the changeset:
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/385765 )
Change subject: Partly revert "Merge "[IMPR] Improvements for reflinks.py""
..
Partly revert "Merge "[IMPR] Improvements for
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/384328 )
Change subject: [IMPR] Introduce suppress_warnings context manager
..
[IMPR] Introduce suppress_warnings context manager