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