jenkins-bot has submitted this change and it was merged. Change subject: repository: display the protocol name ......................................................................
repository: display the protocol name Instead of just stating that a protocol was set. Change-Id: Ib83220a90641b905d89de8daea04cfe0f4071826 Signed-off-by: Loic Dachary <[email protected]> --- M FLOSSbot/repository.py 1 file changed, 3 insertions(+), 1 deletion(-) Approvals: Dachary: Looks good to me, approved jenkins-bot: Verified diff --git a/FLOSSbot/repository.py b/FLOSSbot/repository.py index 979fe5f..cde20f0 100644 --- a/FLOSSbot/repository.py +++ b/FLOSSbot/repository.py @@ -185,7 +185,9 @@ if not self.args.dry_run: claim.addQualifier(protocol, bot=True) self.set_retrieved(item, claim) - self.info(item, "SET protocol of " + claim.getTarget()) + target_protocol.get() + self.info(item, "SET protocol of " + claim.getTarget() + " to " + + target_protocol.labels['en']) def guess_protocol_from_url(self, url): if 'github.com' in url: -- To view, visit https://gerrit.wikimedia.org/r/314499 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib83220a90641b905d89de8daea04cfe0f4071826 Gerrit-PatchSet: 1 Gerrit-Project: pywikibot/bots/FLOSSbot Gerrit-Branch: master Gerrit-Owner: Dachary <[email protected]> Gerrit-Reviewer: Dachary <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
