Page MenuHomePhabricator

Index @wikimedia source repos from GitHub
Open, MediumPublic

Description

Following T191605, it'd be nice if Code Search indexed wikimedia's own repositories that are kept on GitHub.

Such as https://github.com/wikimedia/grunt-stylelint and a handful of others. I don't have a good or complete definition of how to discover these, though.

Event Timeline

I don't have a good or complete definition of how to discover these, though.

A hardcoded list is fine to start with if you want.

Here goes:

  • eslint-config-wikimedia
  • eslint-config-node-services
  • grunt-banana-checker
  • grunt-stylelint
  • grunt-tyops
  • wikimedia-page-library
  • wikipedia-ios
Krinkle triaged this task as Medium priority.May 1 2018, 2:16 AM
Vvjjkkii renamed this task from Index @wikimedia source repos from GitHub to sxdaaaaaaa.Jul 1 2018, 1:13 AM
Vvjjkkii raised the priority of this task from Medium to High.
Vvjjkkii updated the task description. (Show Details)
Vvjjkkii removed a subscriber: Aklapper.
Mainframe98 renamed this task from sxdaaaaaaa to Index @wikimedia source repos from GitHub.Jul 1 2018, 9:20 AM
Mainframe98 lowered the priority of this task from High to Medium.
Mainframe98 updated the task description. (Show Details)
Mainframe98 added a subscriber: Aklapper.