https://bugzilla.wikimedia.org/show_bug.cgi?id=68054
Bug ID: 68054
Summary: Gerrit: Remove duplicate mirrors on GitHub
Product: Wikimedia
Version: wmf-deployment
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Git/Gerrit
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
Web browser: ---
Mobile Platform: ---
For repositories that we're (also) mirroring at a custom name, they are
currently being mirrored twice.
For example:
* https://github.com/wikimedia/VisualEditor
https://github.com/wikimedia/VisualEditor-VisualEditor
* https://github.com/wikimedia/oojs
https://github.com/wikimedia/oojs-core
* https://github.com/wikimedia/puppet-kafka
https://github.com/wikimedia/operations-puppet-kafka
This is confusing and also decentralises things like Watching and Fork
tracking. But, more importantly, it also makes our Star rating and Pull
requests harder to maintain.
I don't know whether we intentionally do both, or whether it was just easier to
implement this way.
I'd recommend we get rid of the full names where we want to publish the repo
under a different name.
If it was a conscious choice to do this I'm curious why. The only reason I can
think of is to make them easier to find on GitHub, which is hardly a big issue
since they have excellent search for repo names right on
https://github.com/wikimedia.
Another reason might be being able to automatically generate a GitHub address
for a Git repo, but I'm not sure that's a big issue.
Also note that GitHub supports renaming of repositories and automatically keeps
redirects[1]. So we can remove the "unwanted" names from Gerrit replication
config and have our github.com/wikimedia admins delete the repos and create a
redirect (by renaming the good one to the bad one and then renaming it back).
As an example I've created a redirect from
https://github.com/wikimedia/mediawiki to
https://github.com/wikimedia/mediawiki-core. Eventually this should be done the
other way around but this was easier to set up since Gerrit replag currently
did not push to /mediawiki yet (unlike oojs and VisualEditor).
[1] https://github.com/blog/1508-repository-redirects-are-here
[2] https://help.github.com/articles/renaming-a-repository
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
