Is the main source of mirrors gerrit? If so could we not write a script looking for .gitreview files and looking at the URL in there? I imagine there is also some API for marking things as mirrored? (or is it more manual than that?)
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?
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