jenkins-bot has submitted this change and it was merged.

Change subject: T1316: Also report {icon umbrella} projects
......................................................................


T1316: Also report {icon umbrella} projects

Change-Id: Id9f4ebf2f37952a628923bfaba947b74b9dff9cf
---
M wikibugs.py
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Merlijn van Deen: Looks good to me, approved
  Hashar: Looks good to me, but someone else must approve
  Jforrester: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/wikibugs.py b/wikibugs.py
index 99836e9..17944d5 100644
--- a/wikibugs.py
+++ b/wikibugs.py
@@ -151,7 +151,7 @@
             tag
             for tag, info
             in self.get_tags(task_page).items()
-            if info["tagtype"] in ["briefcase", "users"] and not 
info["disabled"]
+            if info["tagtype"] in ["briefcase", "users", "umbrella"] and not 
info["disabled"]
         ]
 
     def get_anchors_for_task(self, task_page):

-- 
To view, visit https://gerrit.wikimedia.org/r/179088
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id9f4ebf2f37952a628923bfaba947b74b9dff9cf
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/wikibugs2
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Merlijn van Deen <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to