demon added a subscriber: demon. demon added a comment. > 1. Delete > https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/ValueView > 2. Make github redirect > https://github.com/wikimedia/mediawiki-extensions-ValueView to > https://github.com/wikimedia/data-values-value-view > 3. Delete https://github.com/wikimedia/mediawiki-extensions-ValueView
(1) is done. (2) and (3) seem to be opposites of one another. Do we want to redirect or delete outright? TASK DETAIL https://phabricator.wikimedia.org/T123624 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: demon Cc: demon, gerritbot, adrianheine, Jonas, Tobi_WMDE_SW, JanZerebecki, Aklapper, thiemowmde, StudiesWorld, Luke081515, Wikidata-bugs, aude, Mbch331, Krenair, hashar, QChris, greg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
