On Tue, Aug 25, 2020 at 1:17 AM Addshore addshorewiki@gmail.com wrote:
Is the main source of mirrors gerrit?
Yes, as of yesterday there are 2,493 Gerrit repos, 2,175 GitHub repos, and 296 of those GitHub repos have no corresponding Gerrit repo from which they are mirrored. The remaining 1,879 repos in github are mirrored from gerrit.
If so could we not write a script looking for .gitreview files and looking at the URL in there?
You mean to find the repo from which it originated? That's possible; it's got some caveats. For example, there are ".gitreview" files on github pointing to non-existent gerrit repos[0]. These just have to be cleaned up manually, I think.
If it's useful, I wrote a handful of messy shell scripts (as is my wont) that invoke the github api to come up with the list of 296 repos that are on github but have no corresponding gerrit repo[1].
I imagine there is also some API for marking things as mirrored? (or is it more manual than that?)
I talked to GitHub support about getting the "mirrored" tag for our repos; it's totally manual and has to go through folks at GitHub support is what I was told[2] :(
Another thought would be adding some .wmgithub file with structured info about repos that are on github. Then rather than maintaining a manual list that is likely to get out of date we could write a thin UI infront of the data in these files and the GitHub API?
Making a UI/tool that monitors github repo creation seems like a good idea rather than this list. My hope is that after some overdue manual cleanup our github org will be clean enough to be able to make inferences based on heuristics without having to add exogenous metadata.
-- Tyler
[0]: https://github.com/wikimedia/mediawiki-extensions-AddMetaAndTitle/blob/master/.gitreview [1]: https://github.com/thcipriani/wikimedia-github-projects [2]: https://phabricator.wikimedia.org/T237470#6406876
On Mon, 24 Aug 2020 at 23:47, Tyler Cipriani tcipriani@wikimedia.org wrote:
Hi all!
If you've never created a repo or fork on the Wikimedia GitHub organization you can skip this email.
I know that some repos are developed on our GitHub org for reasons. What is developed on our GitHub org? How many things are actively being developed on GitHub org? I have no idea :)
I recently realized that there's not a great way to figure this out[0], but I've been able to narrow the scope a bit. Now I have a list of repos that are (a) in our GitHub org and (b) not in our Gerrit that I could use some help sorting through[1].
== Help, please ==
- Look through repos on The List™[1]
If your repos are on the list, for each of your repos either:
- Archive or Delete it if it's no longer maintained or empty/useless,
respectively (and remove them from the list on mw.org)[2]
Or:
- put a "{{tick}}" in the "Active" column on the list on mw.org
== Why==
In a more perfect future we could add the "mirror"[3] tag to repos on GitHub that are mirrored from Gerrit (with a link to their canonical repo locations; for example, gnome-deskop has this[4] and I'm very jealous).
Hopefully, this will help folks wanting to contribute -- either a Wikimedia GitHub repo is a mirror (in which case there's a link to Gerrit in the description) or it's actively being developed on GitHub.
<3 -- Tyler
https://docs.github.com/en/github/creating-cloning-and-archiving-repositorie...
https://docs.github.com/en/github/getting-started-with-github/finding-ways-t...
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l