Yuvipanda has submitted this change and it was merged. Change subject: Add missing json import ......................................................................
Add missing json import Change-Id: I5438116e359b847e0319c2b3ee38c4a63aa8eafb --- M src/github-to-gerrit.py 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Yuvipanda: Verified; Looks good to me, approved diff --git a/src/github-to-gerrit.py b/src/github-to-gerrit.py index 1ad6997..7423675 100644 --- a/src/github-to-gerrit.py +++ b/src/github-to-gerrit.py @@ -1,13 +1,14 @@ import os import sys import logging +import json +import re import redis import github import sh import jinja2 import yaml -import re logger = logging.getLogger(__name__) logger.setLevel(logging.INFO) -- To view, visit https://gerrit.wikimedia.org/r/77719 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5438116e359b847e0319c2b3ee38c4a63aa8eafb Gerrit-PatchSet: 5 Gerrit-Project: labs/tools/SuchABot Gerrit-Branch: master Gerrit-Owner: Yuvipanda <[email protected]> Gerrit-Reviewer: Yuvipanda <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
