JeroenDeDauw added a subscriber: JeroenDeDauw. JeroenDeDauw added a comment.
This is purely about configuration in the repo right? And not yet another self maintained coverage infrastructure that breaks every month and then stops working altogether? TASK DETAIL https://phabricator.wikimedia.org/T74318 REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>. EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JeroenDeDauw Cc: JeroenDeDauw, Wikidata-bugs, Tobi_WMDE_SW, JanZerebecki, Lydia_Pintscher, Jdouglas, aude _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
