jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/680408 )
Change subject: [bugfix] fix stripping author_page_name in is_wikisource_author_page() ......................................................................
[bugfix] fix stripping author_page_name in is_wikisource_author_page()
Bug: T280328 Change-Id: I356153f45199fb9d5957aedde0e987c93f443e6a --- M scripts/patrol.py 1 file changed, 1 insertion(+), 1 deletion(-)
Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/patrol.py b/scripts/patrol.py index f33f956..fe15dfc 100755 --- a/scripts/patrol.py +++ b/scripts/patrol.py @@ -272,7 +272,7 @@
author_ns_prefix = self.site.namespace(author_ns) + ':' author_page_name = removeprefix(title, author_ns_prefix) - if title != author_ns_prefix: + if title != author_page_name: verbose_output('Found author ' + author_page_name) return True return False
pywikibot-commits@lists.wikimedia.org