Yuvipanda has submitted this change and it was merged.
Change subject: Minor refactoring
......................................................................
Minor refactoring
Change-Id: I20cb2ba82bf74c1b8e54a97b5238b5d42c4d7c2c
---
M src/github-to-gerrit.py
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Yuvipanda: Verified; Looks good to me, approved
diff --git a/src/github-to-gerrit.py b/src/github-to-gerrit.py
index 3c70156..6ec926c 100755
--- a/src/github-to-gerrit.py
+++ b/src/github-to-gerrit.py
@@ -167,5 +167,6 @@
while True:
data = json.loads(red.brpop(QUEUE_KEY)[1])
- pr = get_pullreq(data['pull_request']['base']['repo']['name'],
data['pull_request']['number'])
- do_review(pr)
+ # Only pull requests for now.
+ pr = data['pull_request']
+ do_review(get_pullreq(pr['base']['repo']['name'], pr['number']))
--
To view, visit https://gerrit.wikimedia.org/r/78263
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I20cb2ba82bf74c1b8e54a97b5238b5d42c4d7c2c
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/SuchABot
Gerrit-Branch: master
Gerrit-Owner: Yuvipanda <yuvipa...@gmail.com>
Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
