'PR' -> 'MR' (they're "merge requests" on gitlab, not "pull requests")

This commit is contained in:
jesopo 2019-10-18 12:02:56 +01:00
parent 8b08261423
commit b151e7eecd

View file

@ -165,7 +165,7 @@ class GitLab(object):
number = utils.irc.color("#%s" % data["object_attributes"]["iid"],
colors.COLOR_ID)
type = data["object_attributes"]["noteable_type"]
type == "issue" if type == "Issue" else "PR"
type == "issue" if type == "Issue" else "MR"
issue_title = data["issue"]["title"]
commenter = utils.irc.bold(data["user"]["username"])