Chad has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404808 )
Change subject: Add some docs to shut up pylint
......................................................................
Add some docs to shut up pylint
Change-Id: I09567fce2aab44feb0c6f1f99a101b0495fd0cb9
---
M make-release/branch.py
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Chad: Verified; Looks good to me, approved
diff --git a/make-release/branch.py b/make-release/branch.py
index 0112714..559cdc9 100755
--- a/make-release/branch.py
+++ b/make-release/branch.py
@@ -31,6 +31,7 @@
def get_branchpoint(branch, repository, default):
+ """See if a repo has an overridden branchpoint"""
try:
return CONFIG['manual_branch_points'][branch][repository]
except KeyError:
@@ -87,6 +88,7 @@
@contextmanager
def clone(repository):
+ """Clone a repository. Basically clone core"""
url = CONFIG['clone_base'] + '/' + repository
temp = tempfile.mkdtemp()
subprocess.check_call(['/usr/bin/git', 'clone', url, temp])
--
To view, visit https://gerrit.wikimedia.org/r/404808
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I09567fce2aab44feb0c6f1f99a101b0495fd0cb9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
