jenkins-bot has submitted this change and it was merged.
Change subject: archivebot: change (back) -pagename to -page
......................................................................
archivebot: change (back) -pagename to -page
It was a typo during porint, not meant to be a change.
Change-Id: I4dbe381c4e82d98a61ba00668055cadb5c8b8e0c
---
M scripts/archivebot.py
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Merlijn van Deen: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/archivebot.py b/scripts/archivebot.py
index 968fcd8..8c29557 100644
--- a/scripts/archivebot.py
+++ b/scripts/archivebot.py
@@ -667,7 +667,7 @@
force = True
for v in if_arg_value(arg, '-filename'):
filename = v
- for v in if_arg_value(arg, '-pagename'):
+ for v in if_arg_value(arg, '-page'):
pagename = v
for v in if_arg_value(arg, '-namespace'):
namespace = v
--
To view, visit
https://gerrit.wikimedia.org/r/103358
To unsubscribe, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4dbe381c4e82d98a61ba00668055cadb5c8b8e0c
Gerrit-PatchSet: 2
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: Whym <whym(a)whym.org>
Gerrit-Reviewer: Ladsgroup <ladsgroup(a)gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhallasw(a)arctus.nl>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot