jenkins-bot has submitted this change and it was merged.
Change subject: Use /usr/bin/python as the shebang
......................................................................
Use /usr/bin/python as the shebang
30d1df9d4f8942ff489cc0c101c2026206cd4440 normalised all shebangs
to /usr/bin/python, except these two scripts.
Change-Id: Ie28add198c4645324eeef6abb1fe0c85623667bf
---
M scripts/archivebot.py
M scripts/replicate_wiki.py
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
John Vandenberg: Looks good to me, but someone else must approve
Xqt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/archivebot.py b/scripts/archivebot.py
index 22d9af7..6c48ccb 100755
--- a/scripts/archivebot.py
+++ b/scripts/archivebot.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python
# -*- coding: utf-8 -*-
"""
archivebot.py - discussion page archiving bot.
diff --git a/scripts/replicate_wiki.py b/scripts/replicate_wiki.py
index aef3948..c890910 100755
--- a/scripts/replicate_wiki.py
+++ b/scripts/replicate_wiki.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python
# -*- coding: utf-8 -*-
"""
This bot replicates pages in a wiki to a second wiki within one family.
--
To view, visit
https://gerrit.wikimedia.org/r/205074
To unsubscribe, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie28add198c4645324eeef6abb1fe0c85623667bf
Gerrit-PatchSet: 2
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: Hashar <hashar(a)free.fr>
Gerrit-Reviewer: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: Ladsgroup <ladsgroup(a)gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhallasw(a)arctus.nl>
Gerrit-Reviewer: Mpaa <mpaa.wiki(a)gmail.com>
Gerrit-Reviewer: XZise <CommodoreFabianus(a)gmx.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot <>