On Tue, Aug 25, 2020 at 1:17 AM Addshore <addshorewiki(a)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(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
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l