Either I failed to locate it, or the official Wikipedia Android app, https://github.com/wikimedia/apps-android-wikipedia , is not available in the Codesearch tool.
It should be :)
Description
Description
Related Objects
Related Objects
- Mentioned Here
- T321402: Add wikimedia-research/* GitHub repos to Codesearch
Event Timeline
Comment Actions
Codesearch does not index GitHub per T321402.
The official Wikipedia Android app is very welcome to move to Wikimedia GitLab or Gerrit.
Comment Actions
Er, we do. To clarify my comment on that task, we just don't use any proprietary APIs to discover said repositories. If someone wants a specific GitHub repo indexed, we can do that.
The official Wikipedia Android app is very welcome to move to Wikimedia GitLab or Gerrit.
Endorsed :)
Comment Actions
I don't think we have a good section that would be able to hold it :/ Also it should move to gitlab.wikimedia.org (unrelated to this task)
Comment Actions
Hmm, that method signature would not get worse from getting another flag if that is what it is all about. (I mean not for me to criticise the code in the language I don't even know, but wtf those flags 😅...)