jenkins-bot has submitted this change and it was merged.

Change subject: make-release: rename script to make-release.py
......................................................................


make-release: rename script to make-release.py

It is a python script, so give hint about it by renaming the file. That
also let us get rid of the 'filename' tweak in tox.ini for pep8/flake8.

Change-Id: Ie157aa33826e61598b74bae67cdf2358e340dae6
---
R make-release/make-release.py
M tox.ini
2 files changed, 0 insertions(+), 2 deletions(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/make-release/make-release b/make-release/make-release.py
similarity index 100%
rename from make-release/make-release
rename to make-release/make-release.py
diff --git a/tox.ini b/tox.ini
index 977fe02..90c48bd 100644
--- a/tox.ini
+++ b/tox.ini
@@ -1,9 +1,7 @@
 [flake8]
-filename=*.py,make-release
 ; E501 line too long (X > 79 characters)
 ignore=E501
 
 [pep8]
-filename=*.py,make-release
 ; E501 line too long (X > 79 characters)
 ignore=E501

-- 
To view, visit https://gerrit.wikimedia.org/r/82818
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie157aa33826e61598b74bae67cdf2358e340dae6
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: MarkAHershberger <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to