Page MenuHomePhabricator

For mirrored GitHub repositories, actually give the canonical source Gerrit URL in the repo description
Open, LowestPublic

Description

GitHub mirrors contain a description under the main header such as

Github mirror of "performance/WebPageTest" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing

This is very unhelpful, because the URL of the original repo has to be constructed manually. Typically, at this point I give up and just content myself with whatever I can see and do in the GitHub mirror.

The description should be something like

GitHub mirror of https://gerrit.wikimedia.org/r/#/admin/projects/performance/WebPageTest – please see https://www.mediawiki.org/wiki/Developer_access for contributing. Thanks!

or the equivalent Diffusion URL if T110607 allows.

Event Timeline

Nemo_bis created this task.Aug 22 2015, 8:40 AM
Nemo_bis raised the priority of this task from to Needs Triage.
Nemo_bis updated the task description. (Show Details)
Nemo_bis added a project: Gerrit.
Nemo_bis added a subscriber: Nemo_bis.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptAug 22 2015, 8:40 AM
hashar triaged this task as Low priority.Sep 10 2015, 9:13 AM
hashar set Security to None.
greg raised the priority of this task from Low to Normal.Sep 11 2015, 3:27 PM
greg edited projects, added GitHub-Mirrors; removed Gerrit.Sep 18 2015, 9:04 PM
Krenair added a subscriber: Krenair.Oct 4 2015, 9:41 PM

I don't think we should make new links to git.wikimedia.org, and I'm not sure a link to those gerrit project admin pages would be too useful.

demon lowered the priority of this task from Normal to Lowest.Sep 1 2016, 10:19 PM
demon added a subscriber: demon.

Most of these were setup automatically and that was the boilerplate text for all of them. Nowadays, most don't even get a description.

If someone wants to whip up a bot/script that can fix these all (skipping repos with "real" descriptions), I'm more than happy to run it under my account or one of the role accounts, but I'm not going to go around and update ~1k repositories manually :)

I'll add that linking back to our repositories would also help getting the canonical location visible in search results, while currently GitHub can get the canonical location hidden.

https://support.google.com/webmasters/answer/66359 said (bold mine):

Syndicate carefully: If you syndicate your content on other sites, Google will always show the version we think is most appropriate for users in each given search, which may or may not be the version you'd prefer. However, it is helpful to ensure that each site on which your content is syndicated includes a link back to your original article.

Nemo_bis updated the task description. (Show Details)Sep 1 2016, 10:45 PM
Tgr added a subscriber: Tgr.Feb 28 2017, 11:11 PM

Yes please. The current descriptions are halfway between useless and actively hostile.

What format would you need? A script for generating the text or something that actually interacts with GitHub?

What format would you need? A script for generating the text or something that actually interacts with GitHub?

Both, but mostly the latter, like I said I'm not going to run around editing them by hand :)

Tgr added a comment.Feb 28 2017, 11:27 PM

I just assumed something existed already (how did these descriptions get created in the first place?)

I used to have a plugin that created those repos automatically (with a description), but it stopped working and I lost the source code. Now repos are created manually on github.

I used to have a plugin that created those repos automatically (with a description), but it stopped working and I lost the source code. Now repos are created manually on github.

Thanks for the context. Some pointers for myself:

Tgr added a comment.Oct 31 2017, 9:21 PM

git.wikimedia.org has perished, and the gerrit admin page and the Phabricator repo page both utterly suck as a landing page. I think it would be better to use the description as it's normally intended, use the URL to link to the project page on mediawiki.org (or leave it empty if there isn't one), and put everything else in CONTRIBUTORS (see T136863#3714110).

Tgr updated the task description. (Show Details)Oct 31 2017, 9:23 PM
Aklapper renamed this task from Actually give the source URL of the repo from GitHub to For mirrored GitHub repositories, actually give the canonical source Gerrit URL in the repo description.Feb 21 2018, 1:25 PM

Other aspect: Having no way to differentiate repositories mirrored from Gerrit vs. repositories whose canonical home is on GitHub makes it impossible to get proper developer statistics for Wikimedia projects canonically hosted on GitHub.

I actually think we shouldn't bother replicating everything....there's a ton of crap.
What I want to do is re-write my old github plugin again (the upstream one I don't like). It'd handle repo creation (as appropriate), along with keeping descriptions in sync.

jayvdb added a subscriber: jayvdb.May 19 2018, 4:40 PM

We could use github repo topics to identify the repos which are active on github.