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(a)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
[0]: <https://phabricator.wikimedia.org/T237470#6407509>
[1]: <https://www.mediawiki.org/wiki/Gerrit/GitHub#Projects_on_GitHub>
[2]: <
https://docs.github.com/en/github/creating-cloning-and-archiving-repositori…
[3]: <
https://docs.github.com/en/github/getting-started-with-github/finding-ways-…
[4]:
<https://github.com/GNOME/gnome-desktop>
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l